Merge pull request #3568 from rizo/patch-1
Add missing quotation marks for `in`
commit2e7a84129eb8aa108abebdadd61d5016b646d1d3
authorJan de Muijnck-Hughes <jfdm@users.noreply.github.com>
dateTue 13 Dec 2016, 10:05 (10 years ago)
parentff2ed8b01e9953
docs/tutorial/syntax.rst+1−1
@@ -92,7 +92,7 @@ forms. For example, a ``for`` loop binds a variable on each iteration:
9292
9393.. code-block:: idris
9494
95− syntax for {x} in [xs] ":" [body] = forLoop xs (\x => body)
95+ syntax for {x} "in" [xs] ":" [body] = forLoop xs (\x => body)
9696
9797 main : IO ()
9898 main = do for x in [1..10]: