From 03d38eb3190eb5e51fb18847fe0792013285bde5 Mon Sep 17 00:00:00 2001
From: Jed Barber <jjbarber@y7mail.com>
Date: Tue, 8 Apr 2014 15:06:40 +1000
Subject: Reorganising source code

---
 src/TermNetTest.hs | 26 ++++++++++++++++++++++++++
 1 file changed, 26 insertions(+)
 create mode 100644 src/TermNetTest.hs

(limited to 'src/TermNetTest.hs')

diff --git a/src/TermNetTest.hs b/src/TermNetTest.hs
new file mode 100644
index 0000000..57eb06f
--- /dev/null
+++ b/src/TermNetTest.hs
@@ -0,0 +1,26 @@
+import Library.Theorem
+import Library.Term
+import qualified Library.TermNet as Net
+import Test.DataTypes
+import qualified Data.Set as Set
+import Data.List
+
+
+
+main = do
+    let thm1 = Theorem (Set.empty) stdConstTerm
+        thm2 = Theorem (Set.empty) (stdVarTerm "b")
+        thm3 = Theorem (Set.empty) (stdVarTerm "c")
+        thm4 = Theorem (Set.empty) (stdAbsTerm "h")
+
+        net1 = Net.addThm Net.empty thm1 0
+        net2 = Net.addThm net1 thm2 1
+        net3 = Net.addThm net2 thm3 2
+        net4 = Net.addThm net3 thm4 3
+
+        match = Net.matchThm net4 thm4
+ 
+
+    putStrLn (show net4)
+    putStrLn ""
+    putStrLn (show match)
-- 
cgit