Add missing quotation marks for `in`
commit01e995385c8fdc9e7fa7576b7f7817510cab5c70
authorRizo Isrof <rizo.isrof@gmail.com>
dateSat 10 Dec 2016, 10:46 (10 years ago)
parent7e93d70
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]: