@hackage djinn2011.7.23

Generate Haskell code from a type

Categories
License
BSD-3-Clause
Maintainer
lennart@augustsson.net
Links
- Homepage
- Documentation
- No source repository
- Security
Versions
- 2025.2.21 Fri, 21 Feb 2025
- 2014.9.7 Sun, 7 Sep 2014
- 2011.7.23 Sat, 23 Jul 2011
- 2009.9.3 Thu, 3 Sep 2009
- 2009.2.8 Sun, 8 Feb 2009
- 2009.2.1 Sun, 1 Feb 2009

Installation
In your cabal file:
Dependencies (0)
- array
- base >=4 && <5
- containers
- haskeline
- mtl
- pretty
Dependents (1)
@hackage/acme-everything

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