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:73d19e501c86b46da0141daccf2d54c1121b67a840a64420a9ad5f1e86c1e47f,979

Module documentation for 0.0.1.3

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.