Corrected typo of the (++) example in views.tex
commit5b12933176d3c34b72d8ae7ad3c4671e6f1876b4
authortauli <taulmarill@xgn.de>
dateThu 28 Feb 2013, 13:06 (14 years ago)
parent14cce81
tutorial/views.tex+1−1
@@ -10,7 +10,7 @@ determined by whether the vector was empty or not:
1010\begin{SaveVerbatim}{appdep}
1111
1212(++) : Vect a n -> Vect a m -> Vect a (n + m)
13−(++) {n=O} [] [] = []
13+(++) {n=O} [] ys = ys
1414(++) {n=S k} (x :: xs) ys = x :: xs ++ ys
1515
1616\end{SaveVerbatim}