The djinn package

[Tags: bsd3, program]

Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.


Properties

Versions2008.1.18, 2008.8.10, 2009.2.1, 2009.2.8, 2009.9.3, 2011.7.23, 2014.9.7
Dependenciesarray, base (>=4 && <6), containers, haskeline, mtl, pretty
LicenseBSD3
Copyright2014 Lennart Augustsson
AuthorLennart Augustsson
MaintainerLennart Augustsson
Stabilityexperimental
Categorysource-tools
Bug trackerhttps://github.com/haskell/augustss/djinn/issues
Source repositoryhead: git clone https://github.com/augustss/djinn
Executablesdjinn
Upload dateSun Sep 7 15:41:32 UTC 2014
Uploaded byLennartAugustsson
DistributionsDebian:2011.7.23, NixOS:2014.9.7
Downloads1221 total (114 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees