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, compiled for profiling. see http://www.haskell.org/ for more information on haskell.