Fix typo
commit141694f27c4b9bac944b81ba51413d42bb102dc7
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateTue 31 Jan 2012, 00:25 (15 years ago)
parent0f60127
tutorial/dsl.tex+1−1
@@ -85,7 +85,7 @@ syntax rule, we can even go as far as:
8585syntax IF [x] THEN [t] ELSE [e] = If x t e
8686
8787fact : Expr G (TyFun TyInt TyInt)
88−fact = expr (\x => IF x == 0 THEN 1 ELSE [| efac (x - 1) |] * x)
88+fact = expr (\x => IF x == 0 THEN 1 ELSE [| fact (x - 1) |] * x)
8989
9090\end{SaveVerbatim}
9191\useverb{factd}
tutorial/idris-tutorial.pdf
Binary file not shown.