summaryrefslogtreecommitdiff
path: root/Test.hs
AgeCommit message (Collapse)Author
2012-06-04Separated output by function being testedJed Barber
2012-05-31Tests for substituteJed Barber
2012-05-29Tests for number, assume, axiom, alphaEquivJed Barber