djinn-ghc

Generate Haskell code from a type. Bridge from Djinn to GHC API.

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.