Exploring how to make a strict imperative universe in the GHC runtime system.
OTHER License
"Ties the knot" on a given set of structures that reference each other by keys - replaces the key...
Haskell source code suggestions
koneko - a concatenative not-quite-lisp for kittens
Functional Programming Course
Combinators for manipulating locally-nameless generalized de Bruijn terms
Miscellaneous articles. The readme is the table of contents.
Provides a wide array of (semi)groupoids and operations for working with them. A Semigroupoid is...
Safe, programmable, speculative evaluation for Haskell
An implementation of "Freer Monads, More Extensible Effects".
A modern syntax for the λ-calculus.