vault backup: 2023-11-13 13:42:42

.obsidian/workspace.json

@@ -4,19 +4,15 @@
     "type": "split",
     "children": [
       {
-        "id": "f6fad86667169cdd",
+        "id": "d099af2398d7f827",
         "type": "tabs",
         "children": [
           {
-            "id": "ab0d8956c63542fc",
+            "id": "9f9ffb40dcd212ab",
             "type": "leaf",
             "state": {
-              "type": "markdown",
+              "type": "empty",
-              "state": {
+              "state": {}
-                "file": "Exam.md",
-                "mode": "source",
-                "source": false
-              }
             }
           }
         ]
@@ -69,8 +65,7 @@
       }
     ],
     "direction": "horizontal",
-    "width": 300,
+    "width": 300
-    "collapsed": true
   },
   "right": {
     "id": "b83c16dd7908c658",
@@ -86,7 +81,6 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "Exam.md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -103,7 +97,6 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "Exam.md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -125,9 +118,7 @@
             "type": "leaf",
             "state": {
               "type": "outline",
-              "state": {
+              "state": {}
-                "file": "Exam.md"
-              }
             }
           },
           {
@@ -157,7 +148,7 @@
       "command-palette:Open command palette": false
     }
   },
-  "active": "c473a791e2b34194",
+  "active": "9f9ffb40dcd212ab",
   "lastOpenFiles": [
     "Exam.md",
     "Algo/Courses/Chapter 6 - Lists.md",

Exam.md

@@ -1,14 +0,0 @@
-## Multiple insertion
-```
-# let rec split sep lst = 
-	let rec aux acc current = function
-		| [], [] -> acc
-		| [], tail -> current :: acc
-		| x::xs, _ -> 
-			if sep x then
-				aux (current::acc) [] (xs, [])
-			else aux acc (x :: current) (xs, current)
-	in aux [] [] (lst, [])
-val split: ('a -> bool) -> 'a list -> 'a list list = <fun>
-```
-