BSD-3-CLAUSE License
Statistics for this project are still being loaded, please check back later.
higher-order, no-boilerplate monads
A friendly effect system for Haskell
Profunctor optics for the endofunctor category on Hask
Derive class instances though various kinds of lifting
Learning haskell with a rascal!
make analogue for higher kinded data
Combinators for manipulating locally-nameless generalized de Bruijn terms
Miscellaneous articles. The readme is the table of contents.
Provides free functors that are adjoint to functors that forget class constraints.
A self-hosting mini Haskell compiler with a mini C runtime.
A fast, flexible, fused effect system for Haskell
Functional Programming Course
Interpreter
A selective functor is two lax monoidal functors standing on top of each other wearing a trench coat