@@ -212,11 +212,11 @@ zipWith3 f (x::xs) (y::ys) (z::zs) = f x y z :: zipWith3 f xs ys zs
212212
213213||| Combine two equal-length vectors pairwise
214214zip : Vect n a -> Vect n b -> Vect n (a, b)
215−zip = zipWith (\x => \y => (x,y))
215+zip = zipWith (\x,y => (x,y))
216216
217217||| Combine three equal-length vectors elementwise into a vector of tuples
218218zip3 : Vect n a -> Vect n b -> Vect n c -> Vect n (a, b, c)
219−zip3 = zipWith3 (\x => \y => \z => (x,y,z))
219+zip3 = zipWith3 (\x,y,z => (x,y,z))
220220
221221||| Convert a vector of pairs to a pair of vectors
222222unzip : Vect n (a, b) -> (Vect n a, Vect n b)