From 8debf89129c8e7db53e895c61a98c746a8da9549 Mon Sep 17 00:00:00 2001 From: Louis Date: Fri, 13 Oct 2023 14:22:32 +0200 Subject: [PATCH] vault backup: 2023-10-13 14:22:32 --- Algo/Courses/Chapter 6 - Lists (Exercises).md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Algo/Courses/Chapter 6 - Lists (Exercises).md b/Algo/Courses/Chapter 6 - Lists (Exercises).md index 08e5a97..eac99dc 100644 --- a/Algo/Courses/Chapter 6 - Lists (Exercises).md +++ b/Algo/Courses/Chapter 6 - Lists (Exercises).md @@ -141,8 +141,9 @@ let rec growing = function let growing = function |[] -> true |l -> let rec g = function - |[e]-> true - | e1::e2::t -> if e1 > e2 then false else g(e2::t) + |[_]-> true + | e1::e2::_ -> when e1 > e2 -> false + | _::t -> gt in g l;; ```