Propositional Logic Library for Haskell