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 | |
| parent | a44e9d598841612b277d0334e11c45348a6b3723 (diff) | |
Theorems now displayed properly instead of as maybe values
| -rw-r--r-- | ListThm.hs | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -27,8 +27,8 @@ toThms graph nodeList = node = snd3 . head $ edge in write g node) - f = (\x -> (show . fst $ x) ++ ". [" ++ show ((fst4 . fromJust $ (eval (hyp graph (snd x)))) `at` 0) ++ - "] |- " ++ show ((fst4 . fromJust $ (eval (con graph (snd x)))) `at` 0)) + f = (\x -> (show . fst $ x) ++ ". " ++ (show . fromJust $ ((fst4 . fromJust $ (eval (hyp graph (snd x)))) `at` 0)) ++ + " |- " ++ (show . fromJust $ ((fst4 . fromJust $ (eval (con graph (snd x)))) `at` 0))) in map f (zip [1..] nodeList) |