Djinn uses an theorem prover for intuitionistic propositional logic to generate a haskell expression when given a type. this is the bridge from djinn-lib to ghc api.

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