vault backup: 2023-10-30 11:04:57

.obsidian/workspace.json

@@ -157,7 +157,7 @@
       "command-palette:Open command palette": false
     }
   },
-  "active": "ab0d8956c63542fc",
+  "active": "c473a791e2b34194",
   "lastOpenFiles": [
     "Exam.md",
     "Algo/Courses/Chapter 6 - Lists.md",

Exam.md

@@ -1,8 +1,14 @@
 ## Multiple insertion
 ```
-# let split sep = function
-	| [] -> []
-	| e::t ->
-		let aux 
+# 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>
 ```