djinn: Generate Haskell code from a type

[ bsd3, program, source-tools ] [ Propose Tags ] [ Report a vulnerability ]

Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type.

Downloads

djinn-2014.9.7.tar.gz [browse] (Cabal source package)
Package description (as included in the package)

Maintainer's Corner

Package maintainers

LennartAugustsson

For package maintainers and hackage trustees

edit package information

Candidates

No Candidates

Versions [RSS]	2008.1.18, 2008.8.10, 2009.2.1, 2009.2.8, 2009.9.3, 2011.7.23, 2014.9.7
Dependencies	array, base (>=4 && <6), containers, haskeline, mtl, pretty [details]
License	BSD-3-Clause
Copyright	2014 Lennart Augustsson
Author	Lennart Augustsson
Maintainer	Lennart Augustsson
Category	source-tools
Bug tracker	https://github.com/haskell/augustss/djinn/issues
Source repo	head: git clone https://github.com/augustss/djinn
Uploaded	by LennartAugustsson at 2014-09-07T15:41:32Z
Distributions	Debian:2014.9.7
Reverse Dependencies	1 direct, 0 indirect [details]
Executables	djinn
Downloads	8336 total (19 in the last 30 days)
Rating	(no votes yet) [estimated by Bayesian average]
Your Rating	λ λ λ
Status	Docs not available [build log] Last success reported on 2016-11-11 [all 8 reports]