The djinn-th package
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.
Properties
| Version | 0.0.1 |
|---|---|
| Dependencies | base (4.*), containers (0.3.*), logict (0.4.*), template-haskell (2.4.*) |
| License | BSD3 |
| Author | Claude Heiland-Allen |
| Maintainer | claudiusmaximus@goto10.org |
| Category | Language |
| Home page | http://gitorious.org/djinn-th |
| Upload date | Tue Aug 3 18:15:57 UTC 2010 |
| Uploaded by | ClaudeHeilandAllen |
| Built on | ghc-6.12 |
| Build failure | ghc-7.0 (log) |
Modules
- Language
- Haskell
Downloads
- djinn-th-0.0.1.tar.gz (Cabal source package)
- package description (included in the package)