A propositional calculus implementation in Haskell.