checking for injections, projections, rm vesitigial App

1 files changed, 6 insertions, 0 deletions

diff --git a/src/main.rs b/src/main.rs
index e389983..f7ad1c1 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -22,10 +22,16 @@ let set Y = X
 
 let set Z = record { .y : Y }
 
+let set W = variant [ z. : Z | f. : Float ]
+
 let element x : X = { .b = true, .n = 41 }
 
 let element z : Z = { .y = x }
 
+let element the_nat : Nat = z .y .n
+
+let element w : W = f. 1.44
+
 // let signature Graph = theory {
 //     .Node :: Set,
 //     .Edge :: (s : Node) (t : Node) -> Set