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