@@ -236,7 +236,7 @@ We can make some simple test functions. Firstly, adding two inputs
236 add = Lam (Lam (Op (+) (Var Stop) (Var (Pop Stop))))
236 add = Lam (Lam (Op (+) (Var Stop) (Var (Pop Stop))))
238More interestingly, a factorial function ``fact``
238More 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)``),
240can be written as:
240can be written as:
242.. code-block:: idris
242.. code-block:: idris