From 3befd5bcb4096ff74217654fd08778ff44ade173 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Mon, 30 Oct 2023 10:55:49 +0100
Subject: [PATCH] vault backup: 2023-10-30 10:55:49

---
 .obsidian/workspace.json | 11 +----------
 Exam.md                  | 14 +++-----------
 2 files changed, 4 insertions(+), 21 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 780e5b2..9ac8a05 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -7,14 +7,6 @@
         "id": "f6fad86667169cdd",
         "type": "tabs",
         "children": [
-          {
-            "id": "424b516a4faa9ad5",
-            "type": "leaf",
-            "state": {
-              "type": "empty",
-              "state": {}
-            }
-          },
           {
             "id": "ab0d8956c63542fc",
             "type": "leaf",
@@ -27,8 +19,7 @@
               }
             }
           }
-        ],
-        "currentTab": 1
+        ]
       }
     ],
     "direction": "vertical"
diff --git a/Exam.md b/Exam.md
index 6c73a04..6229f37 100644
--- a/Exam.md
+++ b/Exam.md
@@ -1,16 +1,8 @@
 ## Multiple insertion
 ```
-# let rec remove_x x = function
+# let split sep = function
 	| [] -> []
-	| e::t -> 
-		if (e = x) then
-			remove_x x t
-		else e::remove_x x t
-
-val remove_x: 'a -> 'a list -> 'a list
-
-# let rec remove_duplicates = function
-	| [] -> []
-	| e::t -> remove_duplicates (remove_x e)::t
+	| e::t ->
+		let aux 
 ```