djinn-lib

Generate Haskell code from a type. Library extracted from djinn package.

http://www.augustsson.net/Darcs/Djinn/

LTS Haskell 22.39:	0.0.1.4
Stackage Nightly 2024-10-29:	0.0.1.4
Latest on Hackage:	0.0.1.4

See all snapshots djinn-lib appears in

BSD-3-Clause licensed by Lennart Augustsson

Maintained by [email protected]

This version can be pinned in stack with:djinn-lib-0.0.1.4@sha256:b143628933e2721c9668c655ab7ab6dc5eaa20475518459aa49adabaef372599,917

Module documentation for 0.0.1.4

Djinn

Depends on 4 packages(full list with versions):

base, containers, mtl, pretty

Djinn uses an theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. This is a library extracted from Djinn sources.