diff options
| author | tslil <tslil@posteo.de> | 2026-04-23 20:25:56 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-23 21:59:04 +0100 |
| commit | ae0ea07d56ea67da18f67b9dfcbd7c08d8a81d16 (patch) | |
| tree | 23b49b36094d5344b7f74b85f0e2abfc83b9e7eb /src/main.rs | |
| parent | 065e0ddcc06d376bd34081366587d043f20b4312 (diff) | |
start work on elements
Diffstat (limited to 'src/main.rs')
| -rw-r--r-- | src/main.rs | 6 |
1 files changed, 4 insertions, 2 deletions
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 |