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

---
 TermNetTest.hs | 26 --------------------------
 1 file changed, 26 deletions(-)
 delete mode 100644 TermNetTest.hs

(limited to 'TermNetTest.hs')

diff --git a/TermNetTest.hs b/TermNetTest.hs
deleted file mode 100644
index 57eb06f..0000000
--- a/TermNetTest.hs
+++ /dev/null
@@ -1,26 +0,0 @@
-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