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

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

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 = <fun>
 
 ## 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;;