fix parser bug, fix beta reduction for setcoerce, disambiguate set coerce in parser

1 files changed, 3 insertions, 3 deletions

diff --git a/src/main.rs b/src/main.rs
index a40eb87..94a9428 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -36,7 +36,7 @@ let signature OneSet = theory { F :: Set }
 let signature T = theory {
     A :: Set,
     B :: (x : set-of({ .F = A } .F)) -> Set,
-    C :: (x : set-of(A)) (b : set-of(B x)) -> Set
+    C :: (x : set-of(set-of(set-of(A) :: Set) :: Set)) (b : set-of(B x)) -> Set
 }
 
 let signature Graph = theory {
@@ -45,8 +45,8 @@ let signature Graph = theory {
 }
 
 let instance natPoset :: Graph = {
-    .Node = Nat,
-    .Edge = for (s : Nat) (t : Nat), Bool
+    .Node = Nat :: Set,
+    .Edge = for (s : Nat) (t : Nat), Bool :: Set
 }
 
 let element node : set-of(natPoset .Node) = 7