Paper typo fix
commit00cc44d7ef2168b8071873a080edded0c7d091c0
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateSat 7 Sep 2013, 16:07 (13 years ago)
parentaf4fda7
papers/impl-paper/intro.tex+1−1
@@ -137,7 +137,7 @@ elements of vectors of the same length:
137137
138138\begin{SaveVerbatim}{vadd}
139139
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
141141vAdd Nil Nil = Nil
142142vAdd (x :: xs) (y :: ys) = x + y :: vAdd xs ys
143143