implement canonicalisation in case arms, work through first bit of app

1 files changed, 14 insertions, 14 deletions

diff --git a/src/main.rs b/src/main.rs
index f721ef4..b8987a2 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -43,23 +43,23 @@ let signature T = theory {
     C :: (x : set-of(set-of(set-of(A) :: Set) :: Set)) (b : set-of(B x)) -> Set
 }
 
-let signature Graph = theory {
-    Node :: Set,
-    Edge :: (s : set-of(Node)) (t : set-of(Node)) -> Set
-}
+// let signature Graph = theory {
+//     Node :: Set,
+//     Edge :: (s : set-of(Node)) (t : set-of(Node)) -> Set
+// }
 
-let instance natPoset :: Graph = {
-    .Node = Nat :: Set,
-    .Edge = for (s : Nat) (t : Nat), Bool :: Set
-}
+// let instance natPoset :: Graph = {
+//     .Node = Nat :: Set,
+//     .Edge = for (s : Nat) (t : Nat), Bool :: Set
+// }
 
-let element node : set-of(natPoset .Node) = 7
+// let element node : set-of(natPoset .Node) = 7
 
-let set NatEdges = record {
-  source: set-of(natPoset .Node),
-  target: set-of(natPoset .Node),
-  connected: set-of(natPoset .Edge source target)
-}
+// let set NatEdges = record {
+//   source: set-of(natPoset .Node),
+//   target: set-of(natPoset .Node),
+//   connected: set-of(natPoset .Edge source target)
+// }
 "#;
     let programme = parser::debug_parse(src);