diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index c0eb312..dca908b 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,13 +13,26 @@ "state": { "type": "markdown", "state": { - "file": "Algo/Séminaire/Chapitre 6 - Lists.md", + "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md", + "mode": "source", + "source": false + } + } + }, + { + "id": "accf3e9b23e83334", + "type": "leaf", + "state": { + "type": "markdown", + "state": { + "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md", "mode": "source", "source": false } } } - ] + ], + "currentTab": 1 } ], "direction": "vertical" @@ -85,7 +98,7 @@ "state": { "type": "backlink", "state": { - "file": "Algo/Séminaire/Chapitre 6 - Lists.md", + "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md", "collapseAll": false, "extraContext": false, "sortOrder": "alphabetical", @@ -102,7 +115,7 @@ "state": { "type": "outgoing-link", "state": { - "file": "Algo/Séminaire/Chapitre 6 - Lists.md", + "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md", "linksCollapsed": false, "unlinkedCollapsed": true } @@ -125,7 +138,7 @@ "state": { "type": "outline", "state": { - "file": "Algo/Séminaire/Chapitre 6 - Lists.md" + "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md" } } }, @@ -156,10 +169,12 @@ "command-palette:Open command palette": false } }, - "active": "88e153f7ea61ad97", + "active": "accf3e9b23e83334", "lastOpenFiles": [ + "Algo/Courses/Chapter 6 - Lists.md", + "Algo/Courses/Chapter 6 - Lists (Exercises).md", + "Algo/Courses", "Algo/Séminaire/Exercices seminaire.md", - "Algo/Séminaire/Chapitre 6 - Lists.md", "Algo/CM/CM du 27 septembre.md", "Algo/Séminaire/Chapter 5 - Recursivity.md", "COM-ADMR/Séjour international EPITA.md", @@ -197,7 +212,6 @@ "Algo/Séminaire/Weird stuff.md", "Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg", "Algo/Séminaire/assets", - "Algo/Séminaire", "Untitled.canvas", "2023-09-01.md", "Cours algo.md", diff --git a/Algo/Courses/Chapter 6 - Lists (Exercises).md b/Algo/Courses/Chapter 6 - Lists (Exercises).md new file mode 100644 index 0000000..95b58e3 --- /dev/null +++ b/Algo/Courses/Chapter 6 - Lists (Exercises).md @@ -0,0 +1,8 @@ +## 1.1 +```Ocaml +let product n = + if n = [] then + 0 + else + let rec p = + \ No newline at end of file diff --git a/Algo/Séminaire/Chapitre 6 - Lists.md b/Algo/Courses/Chapter 6 - Lists.md similarity index 94% rename from Algo/Séminaire/Chapitre 6 - Lists.md rename to Algo/Courses/Chapter 6 - Lists.md index cf3c9de..07e138a 100644 --- a/Algo/Séminaire/Chapitre 6 - Lists.md +++ b/Algo/Courses/Chapter 6 - Lists.md @@ -108,3 +108,12 @@ val t: int list = [2; 3] 1 +. length t;; Warning : pattern matching not exhaustive val length: 'a list -> int = + +# let rec length = function + | [] -> 0 + | _::t -> 1 + length t;; +(* with this solution there is no warning *) +val length : 'a list -> int = +``` + +