@@ -10,7 +10,7 @@ determined by whether the vector was empty or not:
10\begin{SaveVerbatim}{appdep}
10\begin{SaveVerbatim}{appdep}
12(++) : Vect a n -> Vect a m -> Vect a (n + m)
12(++) : Vect a n -> Vect a m -> Vect a (n + m)
13−(++) {n=O} [] [] = []
13+(++) {n=O} [] ys = ys
14(++) {n=S k} (x :: xs) ys = x :: xs ++ ys
14(++) {n=S k} (x :: xs) ys = x :: xs ++ ys
16\end{SaveVerbatim}
16\end{SaveVerbatim}