diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 80251a5..076657f 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,26 +13,13 @@ "state": { "type": "markdown", "state": { - "file": "Algo/Séminaire/Chapter 5 - Recursivity.md", - "mode": "source", - "source": false - } - } - }, - { - "id": "64e3f10f354fdce4", - "type": "leaf", - "state": { - "type": "markdown", - "state": { - "file": "Algo/Séminaire/Exercices seminaire.md", + "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md", "mode": "source", "source": false } } } - ], - "currentTab": 1 + ] } ], "direction": "vertical" @@ -98,7 +85,7 @@ "state": { "type": "backlink", "state": { - "file": "Algo/Séminaire/Exercices seminaire.md", + "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md", "collapseAll": false, "extraContext": false, "sortOrder": "alphabetical", @@ -115,7 +102,7 @@ "state": { "type": "outgoing-link", "state": { - "file": "Algo/Séminaire/Exercices seminaire.md", + "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md", "linksCollapsed": false, "unlinkedCollapsed": true } @@ -138,7 +125,7 @@ "state": { "type": "outline", "state": { - "file": "Algo/Séminaire/Exercices seminaire.md" + "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md" } } }, @@ -169,12 +156,12 @@ "command-palette:Open command palette": false } }, - "active": "64e3f10f354fdce4", + "active": "c82ce15f72f65a11", "lastOpenFiles": [ + "Algo/Séminaire/Chapter 3 - Case analysis.md", "Algo/Séminaire/Chapter 5 - Recursivity.md", "Algo/Séminaire/Exercices seminaire.md", "Algo/Séminaire/Introduction.md", - "Algo/Séminaire/Chapter 3 - Case analysis.md", "Algo/Séminaire/Chapter 2 - Functions.md", "Algo/Séminaire/assets/fact function response.png", "Algo/Séminaire/assets/recursivite-meme.png", diff --git a/Algo/Séminaire/Exercices seminaire.md b/Algo/Séminaire/Exercices seminaire.md index e15ce64..9cc8721 100644 --- a/Algo/Séminaire/Exercices seminaire.md +++ b/Algo/Séminaire/Exercices seminaire.md @@ -288,4 +288,5 @@ let rec quo a b = else if b = 1 then a else - 1 + quo (a-b) b ;; \ No newline at end of file + 1 + quo (a-b) b ;; +```