diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index dee5090..26c19a2 100644 --- a/.obsidian/workspace.json +++ b/.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", - "state": { - "file": "Exam.md", - "mode": "source", - "source": false - } + "type": "empty", + "state": {} } } ] @@ -69,8 +65,7 @@ } ], "direction": "horizontal", - "width": 300, - "collapsed": true + "width": 300 }, "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": { - "file": "Exam.md" - } + "state": {} } }, { @@ -157,7 +148,7 @@ "command-palette:Open command palette": false } }, - "active": "c473a791e2b34194", + "active": "9f9ffb40dcd212ab", "lastOpenFiles": [ "Exam.md", "Algo/Courses/Chapter 6 - Lists.md", diff --git a/Exam.md b/Exam.md deleted file mode 100644 index 68f1b99..0000000 --- a/Exam.md +++ /dev/null @@ -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 = -``` -