Hello, thanks for stopping by! I like to make games and programming languages.
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 50 million developers.
Sign upPinned
889 contributions in the last year
Contribution activity
December 2020
Created 45 commits in 6 repositories
Created 2 repositories
Created a pull request in carp-lang/Carp that received 8 comments
refactor: Apply Ormolu auto-formatting
So... after working (partly) in Go for half a year I've kind of come around on the auto-formatting issue (sorry for any heated responses back in th…
Opened 9 other pull requests in 3 repositories
carp-lang/Carp
1
open
3
merged
coherence/protocol-code-generator
3
merged
Reviewed 9 pull requests in 1 repository
carp-lang/Carp 9 pull requests
- Add Dynamic.hash
- Primitive refactors
- Use different command types for each arity
- feat: 'delete' interface (deciding whether a type is managed or not)
- Address incomplete patterns
- fix: Handle unit members correctly in array templates
- Ormolu in default.nix and emacs before-save hook.
- refactor: improve readability of interface functions
- fix: Filter unit types in a few more emissions
Created an issue in carp-lang/Carp that received 2 comments
`break` keyword not handled by memory management system
We use break for important optimizations in Core (where it's correct, by inspection).
Ideally we would be able to rule out misuses like the following:

