From f521e9413db58c364d697cf4d3f50e8c538b0964 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Wed, 25 Oct 2023 17:52:21 +0200
Subject: [PATCH] vault backup: 2023-10-25 17:52:21

---
 Algo/Courses/Chapter 7 - High Order (exercises).md | 11 +++++++++++
 1 file changed, 11 insertions(+)

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 = <fun>
 	| [] -> true
 	| e::t -> p e || for_all p t;;
 val exists: ('a -> bool) -> 'a list -> bool = <fun>
+```
+
+## 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 = <fun>
+```
+
+## Ex 2.5