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

Version on this page:[email protected]:1
LTS Haskell 11.22:
Stackage Nightly 2018-03-12:
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

This version can be pinned in stack with:[email protected]:98be21e8f0aa75c4855214061a66904f6469d198880b5104be897b3a71e64fb6,918
  • Djinn
    • Djinn.HCheck
    • Djinn.HTypes
    • Djinn.LJT
    • Djinn.LJTFormula

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-0.7(full list with versions):