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
Upload dateTue Aug 3 18:15:57 UTC 2010
Uploaded byClaudeHeilandAllen
Downloads109 total (12 in last 30 days)

Modules

[Index]

Downloads

Maintainers' corner

For package maintainers and hackage trustees