diff options
author | Jed Barber <jjbarber@y7mail.com> | 2012-05-29 07:30:50 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2012-05-29 07:30:50 +1000 |
commit | 5faabaf240316300e48cf37eae0d5e2bfd0ec66c (patch) | |
tree | 1543c8119a0a7be4cc2f1751a755fb16b67fe8aa /Theorem.hs | |
parent | f8261525ddb9efe70eef21d3fc45003f431826e7 (diff) |
All potential errors now caught into Nothings
Diffstat (limited to 'Theorem.hs')
-rw-r--r-- | Theorem.hs | 7 |
1 files changed, 0 insertions, 7 deletions
@@ -1,7 +1,5 @@ module Theorem ( Theorem(..), - - nullThm ) where @@ -19,8 +17,3 @@ data Theorem = Theorem { thmHyp :: Set.Set Term instance Show Theorem where show a = (show . Set.toList . thmHyp $ a) ++ " |- " ++ (show . thmCon $ a) - - - -nullThm :: Theorem -nullThm = Theorem Set.empty nullTerm |