DjinnGenerate Haskell code from a type | |
Download |
Djinn Ranking & Summary
Advertisement
- License:
- Freeware
- Price:
- FREE
- Publisher Name:
- Lennart Augustsson
- Publisher web site:
- http://www.augustsson.net/lennart/index.html
- Operating Systems:
- Mac OS X
- File Size:
- 20 KB
Djinn Tags
Djinn Description
Generate Haskell code from a type Djinn is a free and open source Haskell program that uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. NOTE: Djinn is licensed and distributed under the terms of the BSD License. Requirements: · GHC
Djinn Related Software