djinn-ghc-0.0.2.3: 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.
Modules
- Djinn