@@ -254,6 +254,14 @@ concat : Vect m (Vect n a) -> Vect (m * n) a
254concat [] = []
254concat [] = []
255concat (v::vs) = v ++ concat vs
255concat (v::vs) = v ++ concat vs
257+--------------------------------------------------------------------------------
259+--------------------------------------------------------------------------------
261+scanl : (b -> a -> b) -> b -> Vect n a -> Vect (S n) b
263+scanl f q (x::xs) = q :: scanl f (f q x) xs
257--------------------------------------------------------------------------------
265--------------------------------------------------------------------------------
258-- Membership tests
266-- Membership tests
259--------------------------------------------------------------------------------
267--------------------------------------------------------------------------------