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@rev:1
LTS Haskell 22.39:0.0.1.4
Stackage Nightly 2024-10-31: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.2@sha256:98be21e8f0aa75c4855214061a66904f6469d198880b5104be897b3a71e64fb6,918

Module documentation for 0.0.1.2

Used by 1 package in lts-3.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.