summaryrefslogtreecommitdiff
path: root/Test.hs
AgeCommit message (Collapse)Author
2012-09-14Testing packageJed Barber
2012-09-13Cleaner directory structure, addition of make clean, grouping of library ↵Jed Barber
modules into a single package
2012-06-04Separated output by function being testedJed Barber
2012-05-31Tests for substituteJed Barber
2012-05-29Tests for number, assume, axiom, alphaEquivJed Barber