@hackage / djinn-th

Generate executable Haskell code from a type

Latest0.0.1

Metadata

Last updated 3 Aug 2010, by ClaudeHeilandAllen
License BSD-3-Clause
Maintained by: claudiusmaximus@goto10.org
Lottery factor: 0

Links

Homepage
Documentation
No source repository

Installation

Add this line in your cabal file

Readme

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.