djinn-lib

Generate Haskell code from a type. Library extracted from djinn package. http://www.augustsson.net/Darcs/Djinn/

Version on this page:0.0.1.2
LTS Haskell 11.22:0.0.1.3
Stackage Nightly 2018-03-12:0.0.1.2
Latest on Hackage:[email protected]:1

See all snapshots djinn-lib appears in

BSD-3-Clause licensed by Lennart Augustsson
Maintained by [email protected]

Module documentation for 0.0.1.2

This version can be pinned in stack with:[email protected]:b541bdbc2d7d46dbb2ef2288d5c4f94dbb720dd533ed0480490d3c84f1c5eb5e,875

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.

Used by 1 package in lts-6.35(full list with versions):