diff --git a/Algo/Courses/Chapter 7 - High Order (exercises).md b/Algo/Courses/Chapter 7 - High Order (exercises).md index cf9d413..3f86f46 100644 --- a/Algo/Courses/Chapter 7 - High Order (exercises).md +++ b/Algo/Courses/Chapter 7 - High Order (exercises).md @@ -34,4 +34,6 @@ val map : ('a -> 'b) -> 'a list -> 'b list = ## Ex 2.2 ``` -# let rec for_app +# let rec for_all p = function + | [] -> true + | e::t -> if p(e) then for_all p t else false;;