The latest version of djinn is 2014.9.7-0.
djinn
Version 2008.1.18 revision 0 uploaded by LennartAugustsson.
Package meta
- Synopsis
- Generate Haskell code from a type
- Description
Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.
- Author
- Lennart Augustsson
- Bug reports
- n/a
- Category
- source-tools
- Copyright
- n/a
- Homepage
- http://www.augustsson.net/Darcs/Djinn/
- Maintainer
- lennart@augustsson.net
- Package URL
- n/a
- Stability
- n/a