diff options
author | Jed Barber <jjbarber@y7mail.com> | 2012-09-13 02:14:04 +1000 |
---|---|---|
committer | Jed Barber <jjbarber@y7mail.com> | 2012-09-13 02:14:04 +1000 |
commit | ea3f1f7736c57747e743a5106b917d2853c62f57 (patch) | |
tree | f6aa645c04b3606694184fa9b949abd020550643 /Library/TermNet.hs | |
parent | ec95ea382132f0702e5046a721e4d8ea4cdc82e3 (diff) |
Cleaner directory structure, addition of make clean, grouping of library modules into a single package
Diffstat (limited to 'Library/TermNet.hs')
-rw-r--r-- | Library/TermNet.hs | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/Library/TermNet.hs b/Library/TermNet.hs new file mode 100644 index 0000000..4d0b107 --- /dev/null +++ b/Library/TermNet.hs @@ -0,0 +1,27 @@ +module Library.TermNet( + TermNet, + empty, + addThm + ) where + + + +import Library.ProofGraph +import Library.Object +import Library.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 = + + |