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 /TermNet.hs | |
| parent | ec95ea382132f0702e5046a721e4d8ea4cdc82e3 (diff) | |
Cleaner directory structure, addition of make clean, grouping of library modules into a single package
Diffstat (limited to 'TermNet.hs')
| -rw-r--r-- | TermNet.hs | 27 |
1 files changed, 0 insertions, 27 deletions
diff --git a/TermNet.hs b/TermNet.hs deleted file mode 100644 index fd21008..0000000 --- a/TermNet.hs +++ /dev/null @@ -1,27 +0,0 @@ -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 = - - |