From 85f0f5bd9ba573ad288ed582399b37e126f598c9 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Fri, 24 Apr 2026 08:37:02 +0100
Subject: checking for injections, projections, rm vesitigial App

---
 src/main.rs | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'src/main.rs')

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
-- 
cgit v1.3.1