@@ -208,7 +208,7 @@ zipWith f (x::xs) (y::ys) = f x y :: zipWith f xs ys
208||| Combine three equal-length vectors into a vector with some function
208||| Combine three equal-length vectors into a vector with some function
209zipWith3 : (a -> b -> c -> d) -> Vect n a -> Vect n b -> Vect n c -> Vect n d
209zipWith3 : (a -> b -> c -> d) -> Vect n a -> Vect n b -> Vect n c -> Vect n d
210zipWith3 f [] [] [] = []
210zipWith3 f [] [] [] = []
211−zipWith3 f (x::xs) (y::ys) (z::zs) = f x y z :: zipWith3 xs ys zs
211+zipWith3 f (x::xs) (y::ys) (z::zs) = f x y z :: zipWith3 f xs ys zs
213||| Combine two equal-length vectors pairwise
213||| Combine two equal-length vectors pairwise
214zip : Vect n a -> Vect n b -> Vect n (a, b)
214zip : Vect n a -> Vect n b -> Vect n (a, b)