summaryrefslogtreecommitdiff
path: root/Test.hs
AgeCommit message (Expand)Author
2012-10-04Substitute test updatedJed Barber
2012-09-14Testing packageJed Barber
2012-09-13Cleaner directory structure, addition of make clean, grouping of library modu...Jed Barber
2012-06-04Separated output by function being testedJed Barber
2012-05-31Tests for substituteJed Barber
2012-05-29Tests for number, assume, axiom, alphaEquivJed Barber