Djinn-lib uses an theorem prover for intuitionistic propositional logic to generate a haskell expression when given a type. this is a library extracted from djinn-lib sources.

this package provides a library for the haskell programming language. see http://www.haskell.org/ for more information on haskell.