From ddd2aa4e4ddef13e32b68d7f6adc1f8c7347731c Mon Sep 17 00:00:00 2001
From: Camil Staps
Date: Fri, 3 Jul 2015 10:59:14 +0200
Subject: Types, toString

---
 LogicParser.icl | 18 ++++++++++++++++++
 1 file changed, 18 insertions(+)
 create mode 100644 LogicParser.icl

(limited to 'LogicParser.icl')

diff --git a/LogicParser.icl b/LogicParser.icl
new file mode 100644
index 0000000..ef81237
--- /dev/null
+++ b/LogicParser.icl
@@ -0,0 +1,18 @@
+module LogicParser
+
+import Logic
+
+e1 = Atom 'p'
+e2 = Atom 'q'
+e3 = App1 Not e1
+e4 = App2 e1 And e2
+e5 = App2 e3 Or e2
+e6 = App2 e3 Impl e3
+e7 = App2 e4 Equiv e5
+
+e8 = App2 (App2 (Atom 'p') And (Atom 'q')) Impl (Atom 'q')
+e9 = App2 (Atom 'p') And (App2 (Atom 'q') Impl (Atom 'q'))
+
+exprs = [e1,e2,e3,e4,e5,e6,e7,e8,e9]
+
+Start = map toString exprs
-- 
cgit v1.2.3