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

Latest on Hackage:

See all snapshots djinn-lib appears in

BSD-3-Clause licensed by Lennart Augustsson
Maintained by

Module documentation for

This version can be pinned in stack with:djinn-lib-,963

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