rename for-given to for

HigherOrderCO · Oct 21, 2024 · 8ba7ff4 · 8ba7ff4
1 parent c02879e
commit 8ba7ff4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/Kind/Parse.hs b/src/Kind/Parse.hs
@@ -797,7 +797,7 @@ parseDoFor monad = do
         char_skp '}'
         body <- parseStmt monad
         return (Nothing, nam, lst, loop, body) ]
-  let f0 = Ref "Base/List/for-given"
+  let f0 = Ref "Base/List/for"
   let f1 = App f0 (Met 0 [])
   let f2 = App f1 (Ref (monad ++ "/Monad"))
   let f3 = App f2 (Met 0 [])