Progress on checking sets

1 files changed, 16 insertions, 12 deletions

diff --git a/src/main.rs b/src/main.rs
index 11357a9..a76dde4 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -16,21 +16,25 @@ fn main() {
 
     let src = r#"
 
-let set X = record { .b : Bool, .n : Nat }
+let set X = record { .b : Bool, .n : Nat } // basic
 
-let element x : X = { .b = true, .n = 41, .x = 3.14 }
+let set Y = X
 
-let signature Graph = theory {
-    .Node :: Set,
-    .Edge :: (s : Node) (t : Node) -> Set
-}
-
-let instance natPoset :: Graph = {
-    .Node = Nat,
-    .Edge = for (s : Nat) (t : Nat), Bool
-}
+let set Z = record { .y : Y }
 
-let element node : set(natPoset .Node) = 7
+// let element x : X = { .b = true, .n = 41, .x = 3.14 }
+//
+// let signature Graph = theory {
+//     .Node :: Set,
+//     .Edge :: (s : Node) (t : Node) -> Set
+// }
+//
+// let instance natPoset :: Graph = {
+//     .Node = Nat,
+//     .Edge = for (s : Nat) (t : Nat), Bool
+// }
+//
+// let element node : set(natPoset .Node) = 7
 "#;
     let programme = parser::parser::program(src);