djinn-ghc: 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.
|Versions [faq]||0.0.1, 0.0.2, 0.0.2.1, 0.0.2.2, 0.0.2.3|
|Dependencies||base (==4.*), containers, djinn-lib (==0.0.1), ghc, mtl (<2.2) [details]|
|Uploaded||by AlejandroSerrano at 2014-08-01T16:58:27Z|
|Distributions||Arch:0.0.2.3, Debian:0.0.2.3, Fedora:0.0.2.3, NixOS:0.0.2.3|
|Downloads||27174 total (63 in the last 30 days)|
|Rating||(no votes yet) [estimated by Bayesian average]|
Docs uploaded by user [build log]
All reported builds failed [all 1 reports]
For package maintainers and hackage trustees