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

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

diff --git a/Algo/Courses/Chapter 7 - High Order (exercises).md b/Algo/Courses/Chapter 7 - High Order (exercises).md
index 23998b8..100f158 100644
--- a/Algo/Courses/Chapter 7 - High Order (exercises).md	
+++ b/Algo/Courses/Chapter 7 - High Order (exercises).md	
@@ -36,5 +36,13 @@ val map : ('a -> 'b) -> 'a list -> 'b list = <fun>
 ```
 # let rec for_all p = function
 	| [] -> true
-	| e::t -> if p e && for_all p t;;
+	| e::t -> p e && for_all p t;;
 val for_all: ('a -> bool) -> 'a list -> bool = <fun>
+```
+
+## Ex 2.3
+```
+# let rec exists p = function
+	| [] -> true
+	| e::t -> p e || for_all p t;;
+val exists