The djinn-ghc package

[ Tags: bsd3, language, library ] [ Propose Tags ]

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
Category Language
Uploaded Sun Jan 11 10:22:55 UTC 2015 by AlejandroSerrano
Distributions Arch:, Debian:, LTSHaskell:, NixOS:, Stackage:, openSUSE:
Downloads 23238 total (181 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-01-11 [all 1 reports]
Hackage Matrix CI




Maintainer's Corner

For package maintainers and hackage trustees