wip on App For

1 files changed, 14 insertions, 14 deletions

diff --git a/src/main.rs b/src/main.rs
index b8987a2..57e7f52 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -36,22 +36,22 @@ fn main() {
 // let element e : set-of(natPoset .Edge 3 5) = true
 
 // this should be difficult unless we correctly handle various forms of alpha/beta
-let signature OneSet = theory { F :: Set }
-let signature T = theory {
-    A :: Set,
-    B :: (x : set-of({ .F = A } .F)) -> Set,
-    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 OneSet = theory { F :: Set }
+// let signature T = theory {
+//     A :: Set,
+//     B :: (x : set-of({ .F = A } .F)) -> Set,
+//     C :: (x : set-of(set-of(set-of(A) :: Set) :: Set)) (b : set-of(B x)) -> Set
 // }
 
-// let instance natPoset :: Graph = {
-//     .Node = Nat :: Set,
-//     .Edge = for (s : Nat) (t : Nat), Bool :: 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 element node : set-of(natPoset .Node) = 7