From 53a8663396a68099440224336ce812884e807319 Mon Sep 17 00:00:00 2001 From: Louis Date: Mon, 16 Oct 2023 13:37:09 +0200 Subject: [PATCH] vault backup: 2023-10-16 13:37:08 --- .obsidian/workspace.json | 13 +++++++------ Algo/Courses/Chapter 6 - Lists (Exercises).md | 2 +- Algo/Courses/Chapter 6 - Lists.md | 3 +++ 3 files changed, 11 insertions(+), 7 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 68a7e58..dd97a01 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -31,7 +31,8 @@ } } } - ] + ], + "currentTab": 1 } ], "direction": "vertical" @@ -97,7 +98,7 @@ "state": { "type": "backlink", "state": { - "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md", + "file": "Algo/Courses/Chapter 6 - Lists.md", "collapseAll": false, "extraContext": false, "sortOrder": "alphabetical", @@ -114,7 +115,7 @@ "state": { "type": "outgoing-link", "state": { - "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md", + "file": "Algo/Courses/Chapter 6 - Lists.md", "linksCollapsed": false, "unlinkedCollapsed": true } @@ -137,7 +138,7 @@ "state": { "type": "outline", "state": { - "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md" + "file": "Algo/Courses/Chapter 6 - Lists.md" } } }, @@ -168,10 +169,10 @@ "command-palette:Open command palette": false } }, - "active": "eaf65669cfff2a2c", + "active": "26919eaeae9a8f38", "lastOpenFiles": [ - "Algo/Séminaire/Chapter 1 - CAML basics.md", "Algo/Courses/Chapter 6 - Lists (Exercises).md", + "Algo/Séminaire/Chapter 1 - CAML basics.md", "Prog/Loops.md", "Algo/Courses/Chapter 6 - Lists.md", "Algo/Séminaire/Chapter 5 - Recursivity.md", diff --git a/Algo/Courses/Chapter 6 - Lists (Exercises).md b/Algo/Courses/Chapter 6 - Lists (Exercises).md index 5dec30d..e26a011 100644 --- a/Algo/Courses/Chapter 6 - Lists (Exercises).md +++ b/Algo/Courses/Chapter 6 - Lists (Exercises).md @@ -218,5 +218,5 @@ val reverse : 'a list -> 'a list = [] -> rl | e::t -> rev(e::rl) l in rev [] l - +val reverse: 'a list -> 'a list = ``` diff --git a/Algo/Courses/Chapter 6 - Lists.md b/Algo/Courses/Chapter 6 - Lists.md index d5003c3..3f40438 100644 --- a/Algo/Courses/Chapter 6 - Lists.md +++ b/Algo/Courses/Chapter 6 - Lists.md @@ -142,3 +142,6 @@ D --> F val what : int -> int list = # what 3;; +``` + +### Complexity