Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.Sign up
649 contributions in the last year
- CodaFi/Hott-Summer Agda
Created a pull request in typelift/SwiftCheck that received 2 comments
+38 −2 • 2 comments
Created an issue in CodaFi/Compiler-Explorer that received 1 comment
Endpoint’s there. We just gotta put a button in a form.