ollef/Bidirectional
Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"
Developer Profile
ollef
Discovered public repositories for ollef in the GitHub catalog.
ollef/paws
Utility for automatically pausing and resuming music at appropriate times.
ollef/xcape
Linux utility to make control key send escape key events when pressed on its own.
ollef/Generate-C
Embedded C code generation DSL for Haskell.
ollef/Grempa
Embedded grammar DSL and LALR parser generator