@hackage djinn-th0.0.1

Generate executable Haskell code from a type

Categories
License
BSD-3-Clause
Maintainer
claudiusmaximus@goto10.org
Lottery factor: 1
Uploader: ClaudeHeilandAllen
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 0.0.1 Tue, 3 Aug 2010

Installation
In your cabal file:
Dependencies (4)
- base >=4 && <5
- containers >=0.3 && <0.4
- logict >=0.4 && <0.5
- template-haskell >=2.4 && <2.5
Dependents (1)
@hackage/acme-everything

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.