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
LTS Haskell 8.2:0.0.1.2
Stackage Nightly 2017-02-20:0.0.1.2
Latest on Hackage:0.0.1.2
BSD3 licensed by Lennart Augustsson
Maintained by trupill@gmail.com

Module documentation for 0.0.1.2

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.

Depends on:
Used by 1 package:
comments powered byDisqus