@@ -439,6 +439,16 @@ partition p (x::xs) =
440 (lefts, x::rights)
440 (lefts, x::rights)
442+inits : List a -> List (List a)
443+inits xs = [] :: case xs of
445+ x :: xs' => map (x ::) (inits xs')
447+tails : List a -> List (List a)
448+tails xs = xs :: case xs of
450+ _ :: xs' => tails xs'
442--------------------------------------------------------------------------------
452--------------------------------------------------------------------------------
443-- Predicates
453-- Predicates
444--------------------------------------------------------------------------------
454--------------------------------------------------------------------------------