djinn-th

Generate executable Haskell code from a type.

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

Djinn-TH uses Template Haskell to turn this expression into executable code.