An automatic first-order theorem prover in Haskell - View it on GitHub