Merge pull request #208 from tauli/patch-1
Corrected typo of the (++) example in views.tex
commit2322ef8a8b69213666ce6780ea003db750d2897e
authorEdwin Brady <edwin.brady@gmail.com>
dateFri 1 Mar 2013, 06:00 (14 years ago)
parent0b5a5b35b12933
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}