Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Fix typo

  • Loading branch information...
commit 141694f27c4b9bac944b81ba51413d42bb102dc7 1 parent 0f60127
Edwin Brady authored
2  tutorial/dsl.tex
View
@@ -85,7 +85,7 @@ \section{More on overloading: \texttt{dsl} notation}
syntax IF [x] THEN [t] ELSE [e] = If x t e
fact : Expr G (TyFun TyInt TyInt)
-fact = expr (\x => IF x == 0 THEN 1 ELSE [| efac (x - 1) |] * x)
+fact = expr (\x => IF x == 0 THEN 1 ELSE [| fact (x - 1) |] * x)
\end{SaveVerbatim}
\useverb{factd}
BIN  tutorial/idris-tutorial.pdf
View
Binary file not shown
Please sign in to comment.
Something went wrong with that request. Please try again.