Added DSL file to tutorial (oops)
commite200d084ac67d54445b6e3a643f3a4bf60e8fd20
authorEdwin Brady <eb@cs.st-andrews.ac.uk>
dateTue 31 Jan 2012, 00:24 (15 years ago)
parentbb3e629
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 [| efact (x - 1) |] * x)
88+fact = expr (\x => IF x == 0 THEN 1 ELSE [| efac (x - 1) |] * x)
8989
9090\end{SaveVerbatim}
9191\useverb{factd}