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-2025.2.21.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, 2025.2.21
Dependencies	array (<10), base (>=4 && <6), containers (<10), haskeline (<10), mtl (<10), pretty (<10) [details]
License	BSD-3-Clause
Copyright	2014 Lennart Augustsson
Author	Lennart Augustsson
Maintainer	Lennart Augustsson
Category	source-tools
Bug tracker	https://github.com/augustss/djinn/issues
Source repo	head: git clone https://github.com/augustss/djinn
Uploaded	by LennartAugustsson at 2025-02-21T01:16:09Z
Distributions	Debian:2014.9.7
Reverse Dependencies	1 direct, 0 indirect [details]
Executables	djinn
Downloads	8482 total (17 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 2025-02-21 [all 1 reports]