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

Version on this page:
LTS Haskell 11.1:
Stackage Nightly 2018-03-12:
Latest on Hackage:

See all snapshots djinn-ghc appears in

BSD3 licensed by Alejandro Serrano
Maintained by

Module documentation for

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.

Depends on 7 packages:
Used by 1 package:
comments powered byDisqus