From ae0ea07d56ea67da18f67b9dfcbd7c08d8a81d16 Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Thu, 23 Apr 2026 20:25:56 +0100
Subject: start work on elements

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

(limited to 'src/main.rs')

diff --git a/src/main.rs b/src/main.rs
index a76dde4..e389983 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -22,8 +22,10 @@ let set Y = X
 
 let set Z = record { .y : Y }
 
-// let element x : X = { .b = true, .n = 41, .x = 3.14 }
-//
+let element x : X = { .b = true, .n = 41 }
+
+let element z : Z = { .y = x }
+
 // let signature Graph = theory {
 //     .Node :: Set,
 //     .Edge :: (s : Node) (t : Node) -> Set
-- 
cgit v1.3.1