@@ -92,7 +92,7 @@ forms. For example, a ``for`` loop binds a variable on each iteration:
93.. code-block:: idris
93.. code-block:: idris
95− syntax for {x} in [xs] ":" [body] = forLoop xs (\x => body)
95+ syntax for {x} "in" [xs] ":" [body] = forLoop xs (\x => body)
97 main : IO ()
97 main : IO ()
98 main = do for x in [1..10]:
98 main = do for x in [1..10]: