diff options
| author | tslil <tslil@posteo.de> | 2026-04-27 09:46:17 +0100 |
|---|---|---|
| committer | tslil <tslil@posteo.de> | 2026-04-27 09:47:47 +0100 |
| commit | f0906abd5aa3d9004b53454af92b44b3d908ec3c (patch) | |
| tree | e9c907e31f7048be8ad6f23a788d6641e685ce2e /src/main.rs | |
| parent | 72d90e8649d43c8dbc5fc27322e84f0e96998c90 (diff) | |
change the "claimed set" notation to "set-of" so that David isn't confused
Diffstat (limited to 'src/main.rs')
| -rw-r--r-- | src/main.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main.rs b/src/main.rs index c57eef6..984a438 100644 --- a/src/main.rs +++ b/src/main.rs @@ -46,7 +46,7 @@ let element compute : Nat = case injected of [ z. myz => myz .y .n | f. myf => 2 // .Edge = for (s : Nat) (t : Nat), Bool // } // -// let element node : set(natPoset .Node) = 7 +// let element node : set-of(natPoset .Node) = 7 "#; let programme = parser::parser::program(src); |