vault backup: 2023-10-30 10:55:49

.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"

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 
 ```