djinn-th
Version 0.0.1 revision 0 uploaded by ClaudeHeilandAllen.
Package meta
- Synopsis
- Generate executable Haskell code from a type
- Description
Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.
Djinn-TH uses Template Haskell to turn this expression into executable code.
- Author
- Claude Heiland-Allen
- Bug reports
- n/a
- Category
- Language
- Copyright
- n/a
- Homepage
- http://gitorious.org/djinn-th
- Maintainer
- claudiusmaximus@goto10.org
- Package URL
- n/a
- Stability
- n/a