The djinn-ghc package

[Tags:bsd3, library]

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.


Versions 0.0.1, 0.0.2,,,
Dependencies async, base (==4.*), containers, djinn-lib (>=, ghc, mtl, transformers [details]
License BSD3
Author Alejandro Serrano
Stability Unknown
Category Language
Uploaded Sun Jan 11 10:22:55 UTC 2015 by AlejandroSerrano
Distributions Arch:, Debian:, LTSHaskell:, NixOS:, Stackage:, Tumbleweed:
Downloads 14577 total (13 in the last 30 days)
0 []
Status Docs available [build log]
Last success reported on 2015-01-11 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees