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.*), containers, haskeline, mtl, pretty
LicenseBSD3
AuthorLennart Augustsson
Maintainerlennart@augustsson.net
Categorysource-tools
Home pagehttp://www.augustsson.net/Darcs/Djinn/
Executablesdjinn
UploadedSat Jul 23 07:59:20 UTC 2011 by LennartAugustsson
DistributionsDebian:2011.7.23, NixOS:2014.9.7
Downloads1418 total (75 in last 30 days)
StatusDocs not available [build log]
All reported builds failed [all 1 reports]

Downloads

Maintainers' corner

For package maintainers and hackage trustees