@@ -227,7 +227,7 @@ unzip ((l, r)::xs) with (unzip xs)
227||| Convert a vector of three-tuples to a triplet of vectors
227||| Convert a vector of three-tuples to a triplet of vectors
228unzip3 : Vect n (a, b, c) -> (Vect n a, Vect n b, Vect n c)
228unzip3 : Vect n (a, b, c) -> (Vect n a, Vect n b, Vect n c)
229unzip3 [] = []
229unzip3 [] = []
230−unzip3 [(l,c,r):xs] with (unzip3 xs) |
230+unzip3 ((l,c,r)::xs) with (unzip3 xs)
231 | (lefts, centers, rights) = (l::lefts, c::centers, r::rights)
231 | (lefts, centers, rights) = (l::lefts, c::centers, r::rights)
233--------------------------------------------------------------------------------
233--------------------------------------------------------------------------------