on master help sign in
fixed zipWith3
commitdab2121450a78a2b0a0ed09fa1c239673e149d3c authorJP Smith <jp.smith@ilstu.edu> dateTue 14 Oct 2014, 10:59 (12 years ago) parentf287e5f
1 file changed+1−1
libs/prelude/Prelude/Vect.idr+1−1
libs/prelude/Prelude/Vect.idr+1−1
@@ -208,7 +208,7 @@ zipWith f (x::xs) (y::ys) = f x y :: zipWith f xs ys
208208||| Combine three equal-length vectors into a vector with some function
209209zipWith3 : (a -> b -> c -> d) -> Vect n a -> Vect n b -> Vect n c -> Vect n d
210210zipWith3 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
212212
213213||| Combine two equal-length vectors pairwise
214214zip : Vect n a -> Vect n b -> Vect n (a, b)