Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
Functional programming with fewer indirections
Dependent type checker using normalisation by evaluation
Parsing all context-free grammars using Earley's algorithm in Haskell.
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
Generate Elm types, encoders, and decoders from Haskell types
Seeing something unexpected? Take a look at the
GitHub profile guide.