djinn-lib and djinn-ghc Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. Library extracted from Djinn sources and bridge for use with GHC API.