@@ -227,7 +227,7 @@ unzip ((l, r)::xs) with (unzip xs)
227227||| Convert a vector of three-tuples to a triplet of vectors
228228unzip3 : Vect n (a, b, c) -> (Vect n a, Vect n b, Vect n c)
229229unzip3 [] = []
230−unzip3 [(l,c,r):xs] with (unzip3 xs) |
230+unzip3 ((l,c,r)::xs) with (unzip3 xs)
231231 | (lefts, centers, rights) = (l::lefts, c::centers, r::rights)
232232
233233--------------------------------------------------------------------------------