diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 90cf8f5..80a707d 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,7 +13,7 @@ "state": { "type": "markdown", "state": { - "file": "Algo/Séminaire/Chapter 3 - Case analysis.md", + "file": "Algo/Séminaire/Introduction.md", "mode": "source", "source": false } @@ -85,7 +85,7 @@ "state": { "type": "backlink", "state": { - "file": "Algo/Séminaire/Chapter 3 - Case analysis.md", + "file": "Algo/Séminaire/Introduction.md", "collapseAll": false, "extraContext": false, "sortOrder": "alphabetical", @@ -102,7 +102,7 @@ "state": { "type": "outgoing-link", "state": { - "file": "Algo/Séminaire/Chapter 3 - Case analysis.md", + "file": "Algo/Séminaire/Introduction.md", "linksCollapsed": false, "unlinkedCollapsed": true } @@ -125,7 +125,7 @@ "state": { "type": "outline", "state": { - "file": "Algo/Séminaire/Chapter 3 - Case analysis.md" + "file": "Algo/Séminaire/Introduction.md" } } }, @@ -158,10 +158,10 @@ }, "active": "0d2d422aa24bb900", "lastOpenFiles": [ + "Algo/Séminaire/Chapter 5 - Recursivity.md", + "Algo/Séminaire/Chapter 3 - Case analysis.md", "Algo/Séminaire/Chapter 2 - Functions.md", "Algo/Séminaire/Chapter 4 - A bit of imperative.md", - "Algo/Séminaire/Chapter 3 - Case analysis.md", - "Algo/Séminaire/Chapter 5 - Recursivity.md", "Algo/Séminaire/Introduction.md", "Algo/Séminaire/Chapter 1 - CAML basics.md", "Algo/Séminaire/Exercices seminaire.md", diff --git a/Algo/Séminaire/Chapter 5 - Recursivity.md b/Algo/Séminaire/Chapter 5 - Recursivity.md index 0e42fc0..8bb8f55 100644 --- a/Algo/Séminaire/Chapter 5 - Recursivity.md +++ b/Algo/Séminaire/Chapter 5 - Recursivity.md @@ -92,4 +92,5 @@ and even n = add (n-1);; val add : int -> bool = val even : int -> bool = -``` \ No newline at end of file +``` +