From 92497fd94c0b942db5dcadf48924c8a2a6ab725f Mon Sep 17 00:00:00 2001 From: Louis Date: Fri, 27 Oct 2023 15:33:08 +0200 Subject: [PATCH] vault backup: 2023-10-27 15:33:08 --- Algo/Courses/Chapter 7 - High Order (exercises).md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Algo/Courses/Chapter 7 - High Order (exercises).md b/Algo/Courses/Chapter 7 - High Order (exercises).md index 4fbb4bd..2fe2e51 100644 --- a/Algo/Courses/Chapter 7 - High Order (exercises).md +++ b/Algo/Courses/Chapter 7 - High Order (exercises).md @@ -86,4 +86,5 @@ val partition : ('a -> bool) -> 'a list -> 'a list * 'a list = | (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 = \ No newline at end of file +val less2 : ('a -> 'b -> bool) -> int -> 'a list -> 'b list -> bool = +```