From f0906abd5aa3d9004b53454af92b44b3d908ec3c Mon Sep 17 00:00:00 2001
From: tslil <tslil@posteo.de>
Date: Mon, 27 Apr 2026 09:46:17 +0100
Subject: change the "claimed set" notation to "set-of" so that David isn't
 confused

---
 src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main.rs')

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);
 
-- 
cgit v1.3.1