diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-05-29 08:54:03 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-05-29 08:54:03 +1000 |
| commit | 76d35ac9c971be42a7231050a3b7bdfbb79156f3 (patch) | |
| tree | 492035b3e86d366379073bcaa78f20e498af6a8c /SemanticMain.hs | |
| parent | 78ef2b4d5ba2bd9d4b2faa45cb71f62faea35209 (diff) | |
Tests for number, assume, axiom, alphaEquiv
Diffstat (limited to 'SemanticMain.hs')
0 files changed, 0 insertions, 0 deletions