From 4536333e33d838c40f7041bf6737d63328b32160 Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jul 2015 13:11:30 +0200
Subject: Nicer truthtables

---
 LogicTest.icl | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

(limited to 'LogicTest.icl')

diff --git a/LogicTest.icl b/LogicTest.icl
index 4122b92..7f6f214 100644
--- a/LogicTest.icl
+++ b/LogicTest.icl
@@ -1,6 +1,6 @@
 module LogicTest
 
-import Logic
+import Logic, StringUtils
 
 // Some random examples
 e1 = Atom 'p'
@@ -35,6 +35,8 @@ exprs_assoc = [e10,e11,e12,e13,e14,e15,e16,e17]
 //Start = substitute ('q',True) e8
 
 table = { exprs = exprs_rand ++ exprs_assoc,
-          options = all_atom_options e4 }
+          options = all_atom_options e10 }
 
-Start = toString table
+//Start = join ", " (map toString [e17 : subexprs e17])
+
+Start = toString (truthtable (App2 e9 And e7))
-- 
cgit v1.2.3