@hackage djinn2025.2.21

Generate Haskell code from a type

Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.