Easy declaration of strippable HKD
BSD-3-CLAUSE License
heidi : tidy data in Haskell
Combinators for manipulating locally-nameless generalized de Bruijn terms
This package contains class for bidirectional instances and TH methods for generating instances f...
A simple expressions language with polymorphic extensible row types.
Learning haskell with a rascal!
A modern syntax for the λ-calculus.
Haskell-C++ Foreign Function Interface Generator
A 65C02 Assembly eDSL in Haskell
COnstraint-BAsed Little Typechecker
🗼An experimental implementation of first class functional types using pure ES at runtime, inspire...
Derive class instances though various kinds of lifting
Opinionated Haskell Interoperability
Efficient, pure binary serialisation using ByteStrings in Haskell.
Functional Programming Course
Transmogrify Haskell values with the same overall shape