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.3
LTS Haskell 11.22:0.0.1.3
Stackage Nightly 2021-09-18:0.0.1.3@rev:1
Latest on Hackage:0.0.1.3@rev:1

See all snapshots djinn-lib appears in

BSD-3-Clause licensed by Lennart Augustsson
Maintained by trupill@gmail.com
This version can be pinned in stack with:djinn-lib-0.0.1.3@sha256:73aa314cf014f2a6c2b261faf347cc6611fd2f8ad22c29fd298da1cf375dcb4a,963

Module documentation for 0.0.1.3

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

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.