Ejhfast/Proof-Search — pull request #1 by h4ck3rm1k3 (2012-11-16 13:12:31+00:00)
Title: first patches

I ported to ghc, and am upgrading the prooftest to work, right now it parses the assumptions on the command line and prints out the tree.