From f8b1eca99e3d69ad0502210149451884e2ff94b4 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Mon, 16 Oct 2023 13:30:06 +0200
Subject: [PATCH] vault backup: 2023-10-16 13:30:06

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

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 40bc13f..68a7e58 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -19,16 +19,6 @@
               }
             }
           },
-          {
-            "id": "6e963cd2a688ff4e",
-            "type": "leaf",
-            "state": {
-              "type": "release-notes",
-              "state": {
-                "currentVersion": "1.4.16"
-              }
-            }
-          },
           {
             "id": "26919eaeae9a8f38",
             "type": "leaf",
@@ -41,8 +31,7 @@
               }
             }
           }
-        ],
-        "currentTab": 1
+        ]
       }
     ],
     "direction": "vertical"
@@ -179,7 +168,7 @@
       "command-palette:Open command palette": false
     }
   },
-  "active": "6e963cd2a688ff4e",
+  "active": "eaf65669cfff2a2c",
   "lastOpenFiles": [
     "Algo/Séminaire/Chapter 1 - CAML basics.md",
     "Algo/Courses/Chapter 6 - Lists (Exercises).md",
diff --git a/Algo/Courses/Chapter 6 - Lists (Exercises).md b/Algo/Courses/Chapter 6 - Lists (Exercises).md
index 15557e3..5dec30d 100644
--- a/Algo/Courses/Chapter 6 - Lists (Exercises).md	
+++ b/Algo/Courses/Chapter 6 - Lists (Exercises).md	
@@ -211,4 +211,12 @@ let rec reverse = function
 	| [] -> []
 	| e::t -> reverse t@[e];;
 val reverse : 'a list -> 'a list = <fun>
+
+(* Correction *)
+# let reverse l = 
+	let rec rev rl = function
+		[] -> rl
+		| e::t -> rev(e::rl) l
+	in rev [] l
+
 ```