djinn-ghc

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

LTS Haskell 11.22:0.0.2.3
Stackage Nightly 2018-03-12:0.0.2.3
Latest on Hackage:0.0.2.3

See all snapshots djinn-ghc appears in

BSD-3-Clause licensed by Alejandro Serrano
Maintained by [email protected]
This version can be pinned in stack with:djinn-ghc-0.0.2.3@sha256:0daf55cd1842fe05ca9e1a3dbe868a847a60060066c58420a26cc8662e881efa,816

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.