@@ -85,7 +85,7 @@ syntax rule, we can even go as far as:
85syntax IF [x] THEN [t] ELSE [e] = If x t e
85syntax IF [x] THEN [t] ELSE [e] = If x t e
87fact : Expr G (TyFun TyInt TyInt)
87fact : Expr G (TyFun TyInt TyInt)
88−fact = expr (\x => IF x == 0 THEN 1 ELSE [| efact (x - 1) |] * x)
88+fact = expr (\x => IF x == 0 THEN 1 ELSE [| efac (x - 1) |] * x)
90\end{SaveVerbatim}
90\end{SaveVerbatim}
91\useverb{factd}
91\useverb{factd}