The latest version of djinn-lib is 0.0.1.4-0.
djinn-lib
Version 0.0.1.1 revision 1 uploaded by HerbertValerioRiedel.
Package meta
- Synopsis
- Generate Haskell code from a type. Library extracted from djinn package.
- Description
Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn sources.
- Author
- Lennart Augustsson
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- http://www.augustsson.net/Darcs/Djinn/
- Maintainer
- trupill@gmail.com
- Package URL
- n/a
- Stability
- n/a