From 97709a2e95ed6f7f703f97b8cff76c7c2a69e3c7 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Fri, 27 Oct 2023 15:18:51 +0200
Subject: [PATCH] vault backup: 2023-10-27 15:18:50

---
 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 79432d7..709ac5c 100644
--- a/Algo/Courses/Chapter 7 - High Order (exercises).md	
+++ b/Algo/Courses/Chapter 7 - High Order (exercises).md	
@@ -78,4 +78,12 @@ val partition : ('a -> bool) -> 'a list -> 'a list * 'a list = <fun>
 ```
 
 ## Ex 2.7
-```Ocaml
+```
+# let less2 p k l1 l2 =
+	if k < 0 then invalid_arg "k needs to be positive" else
+		let rec less p k l1 l2 acc = match (l1, l2) with 
+			| ([],[]) -> acc < k
+			| (e::t, e::t2) -> if p e e2 then less p k t t2 (acc + 1)
+				else less p k t t2 acc
+		in less p k l1 l2 0;;
+val less2 : ('a -> 'b →> bool) > int →> 'a list -> 'b list > bool = <fun>
\ No newline at end of file