From 7c1937d8ac53758f957894cb937f56f49c5106de Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Fri, 13 Oct 2023 14:16:48 +0200
Subject: [PATCH] vault backup: 2023-10-13 14:16:48

---
 .obsidian/workspace.json                      | 12 ++++++------
 Algo/Courses/Chapter 6 - Lists (Exercises).md |  7 +++++++
 2 files changed, 13 insertions(+), 6 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index a1316a6..233b5a0 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -13,7 +13,7 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
+                "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
                 "mode": "source",
                 "source": false
               }
@@ -97,7 +97,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
+                "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -114,7 +114,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
+                "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -137,7 +137,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "Algo/Séminaire/Chapter 5 - Recursivity.md"
+                "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md"
               }
             }
           },
@@ -170,11 +170,11 @@
   },
   "active": "c473a791e2b34194",
   "lastOpenFiles": [
+    "Algo/Courses/Chapter 6 - Lists.md",
+    "Algo/Séminaire/Chapter 5 - Recursivity.md",
     "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
     "Algo/Séminaire/Chapter 3 - Case analysis.md",
     "Prog/Loops.md",
-    "Algo/Courses/Chapter 6 - Lists.md",
-    "Algo/Séminaire/Chapter 5 - Recursivity.md",
     "Algo/CM/Lists.md",
     "Algo/CM/CM du 27 septembre.md",
     "Algo/CM/CM du 04 octobre.md",
diff --git a/Algo/Courses/Chapter 6 - Lists (Exercises).md b/Algo/Courses/Chapter 6 - Lists (Exercises).md
index 47d5afa..08e5a97 100644
--- a/Algo/Courses/Chapter 6 - Lists (Exercises).md	
+++ b/Algo/Courses/Chapter 6 - Lists (Exercises).md	
@@ -137,6 +137,13 @@ let concatenate_lists lst1 lst2 =
 let rec growing = function
 		| [] | [_] -> true
 		| x :: y :: rest -> if x <= y then growing (y :: rest) else false;;
+
+let growing = function
+	|[] -> true
+	|l -> let rec g = function
+		|[e]-> true
+		| e1::e2::t -> if e1 > e2 then false else g(e2::t)
+	in g l;;
 ```
 
 ## Exercise 3.2