@@ -110,6 +110,13 @@ split p xs = case break p xs of
110 (chunk, []) => [chunk]
110 (chunk, []) => [chunk]
111 (chunk, (c :: rest)) => chunk :: split p rest
111 (chunk, (c :: rest)) => chunk :: split p rest
113+any : (a -> Bool) -> List a -> Bool
114+any predicate [] = False
115+any predicate (a::rest) =
118+ else any predicate rest
113--------------------------------------------------------------------------------
120--------------------------------------------------------------------------------
114-- Conversions
121-- Conversions
115--------------------------------------------------------------------------------
122--------------------------------------------------------------------------------