@@ -137,7 +137,7 @@ elements of vectors of the same length:
138\begin{SaveVerbatim}{vadd}
138\begin{SaveVerbatim}{vadd}
140−vAdd : Num a => Vect n a -> Vect n -> Vect n a
140+vAdd : Num a => Vect n a -> Vect n a -> Vect n a
141vAdd Nil Nil = Nil
141vAdd Nil Nil = Nil
142vAdd (x :: xs) (y :: ys) = x + y :: vAdd xs ys
142vAdd (x :: xs) (y :: ys) = x + y :: vAdd xs ys