Haskell library for manipulating propositions. - View it on GitHub