diff options
Diffstat (limited to 'TermNet.hs')
-rw-r--r-- | TermNet.hs | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/TermNet.hs b/TermNet.hs new file mode 100644 index 0000000..fd21008 --- /dev/null +++ b/TermNet.hs @@ -0,0 +1,27 @@ +module TermNet( + TermNet, + empty, + addThm + ) where + + + +import ProofGraph +import Object +import Theorem + + + +data TermNet = Empty | Leaf Object Node | Branch String [TermNet] + + + +empty :: TermNet +empty = Empty + + + +addThm :: TermNet -> PGraph -> Node -> (TermNet, [(Theorem, Node)]) +addThm net graph node = + + |