diff options
| author | Jed Barber <jjbarber@y7mail.com> | 2012-08-09 04:35:46 +1000 |
|---|---|---|
| committer | Jed Barber <jjbarber@y7mail.com> | 2012-08-09 04:35:46 +1000 |
| commit | 455df475317d4cf59e854fdb329d4f8a470474f3 (patch) | |
| tree | 71f2e483c6db762b43b36a190a588a0788053569 /SemanticMain.hs | |
| parent | a44e9d598841612b277d0334e11c45348a6b3723 (diff) | |
Theorems now displayed properly instead of as maybe values
Diffstat (limited to 'SemanticMain.hs')
0 files changed, 0 insertions, 0 deletions