The djinn-th package

[Tags: bsd3, library]

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

Version0.0.1
Dependenciesbase (==4.*), containers (==0.3.*), logict (==0.4.*), template-haskell (==2.4.*)
LicenseBSD3
AuthorClaude Heiland-Allen
Maintainerclaudiusmaximus@goto10.org
CategoryLanguage
Home pagehttp://gitorious.org/djinn-th
UploadedTue Aug 3 18:15:57 UTC 2010 by ClaudeHeilandAllen
Downloads149 total (8 in last 30 days)
StatusDocs uploaded by user
Build status unknown [no reports yet]

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees