Version 0.0.1.4 is available upstream. Please consider updating!
It seems that version 0.0.1.4 is available upstream, while the latest version in the Gentoo tree is 0.0.1.3. You think this warning is false? Read more about it here.
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.