summaryrefslogtreecommitdiff
path: root/SemanticMain.hs
diff options
context:
space:
mode:
authorJed Barber <jjbarber@y7mail.com>2012-05-29 08:54:03 +1000
committerJed Barber <jjbarber@y7mail.com>2012-05-29 08:54:03 +1000
commit76d35ac9c971be42a7231050a3b7bdfbb79156f3 (patch)
tree492035b3e86d366379073bcaa78f20e498af6a8c /SemanticMain.hs
parent78ef2b4d5ba2bd9d4b2faa45cb71f62faea35209 (diff)
Tests for number, assume, axiom, alphaEquiv
Diffstat (limited to 'SemanticMain.hs')
0 files changed, 0 insertions, 0 deletions