A propositional theorem prover in Haskell, using Wang's Algorithm.