diff options
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 |