insert missed lambda param
commit315225f5928dc6e056d018132d34cf1ab60f0bfb
authormax ulidtko <ulidtko@gmail.com>
dateSat 9 May 2015, 02:40 (11 years ago)
parent160a597
docs/tutorial/interp.rst+1−1
@@ -236,7 +236,7 @@ We can make some simple test functions. Firstly, adding two inputs
236236 add = Lam (Lam (Op (+) (Var Stop) (Var (Pop Stop))))
237237
238238More interestingly, a factorial function ``fact``
239−(e.g. ``\. if (x == 0) then 1 else (fact (x-1) * x)``),
239+(e.g. ``\x. if (x == 0) then 1 else (fact (x-1) * x)``),
240240can be written as:
241241
242242.. code-block:: idris