djinn-ghc

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

Version on this page:0.0.2.3
LTS Haskell 9.14:0.0.2.3
Stackage Nightly 2017-11-23:0.0.2.3
Latest on Hackage:0.0.2.3
BSD3 licensed by Alejandro Serrano
Maintained by trupill@gmail.com

Module documentation for 0.0.2.3

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.

Used by 1 package:
comments powered byDisqus