diff --git a/Algo/Courses/Chapter 7 - High Order (exercises).md b/Algo/Courses/Chapter 7 - High Order (exercises).md index 3e5a8bf..2f12404 100644 --- a/Algo/Courses/Chapter 7 - High Order (exercises).md +++ b/Algo/Courses/Chapter 7 - High Order (exercises).md @@ -46,3 +46,14 @@ val for_all: ('a -> bool) -> 'a list -> bool = | [] -> true | e::t -> p e || for_all p t;; val exists: ('a -> bool) -> 'a list -> bool = +``` + +## Ex 2.4 +``` +# let rec find p = function + | [] -> true + | e::t -> if p e then e else find p t;; +val exists: (bool -> bool) -> bool list -> bool = +``` + +## Ex 2.5