diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 9727f43..90cf8f5 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,7 +13,7 @@ "state": { "type": "markdown", "state": { - "file": "Algo/Séminaire/Introduction.md", + "file": "Algo/Séminaire/Chapter 3 - Case analysis.md", "mode": "source", "source": false } @@ -85,7 +85,7 @@ "state": { "type": "backlink", "state": { - "file": "Algo/Séminaire/Introduction.md", + "file": "Algo/Séminaire/Chapter 3 - Case analysis.md", "collapseAll": false, "extraContext": false, "sortOrder": "alphabetical", @@ -102,7 +102,7 @@ "state": { "type": "outgoing-link", "state": { - "file": "Algo/Séminaire/Introduction.md", + "file": "Algo/Séminaire/Chapter 3 - Case analysis.md", "linksCollapsed": false, "unlinkedCollapsed": true } @@ -125,7 +125,7 @@ "state": { "type": "outline", "state": { - "file": "Algo/Séminaire/Introduction.md" + "file": "Algo/Séminaire/Chapter 3 - Case analysis.md" } } }, @@ -158,13 +158,13 @@ }, "active": "0d2d422aa24bb900", "lastOpenFiles": [ + "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/Exercices seminaire.md", - "Algo/Séminaire/Chapter 2 - Functions.md", - "Algo/Séminaire/Chapter 3 - Case analysis.md", - "Algo/Séminaire/Chapter 4 - A bit of imperative.md", "Algo/Séminaire/Chapter 1 - CAML basics.md", + "Algo/Séminaire/Exercices seminaire.md", "Algo/Séminaire/assets/exception-meme.png", "Algo/Séminaire/assets/filter-meme.png", "Algo/Séminaire/assets/if-meme.png", diff --git a/Algo/Séminaire/Chapter 1 - CAML basics.md b/Algo/Séminaire/Chapter 1 - CAML basics.md index 7e1aa8d..fe75a91 100644 --- a/Algo/Séminaire/Chapter 1 - CAML basics.md +++ b/Algo/Séminaire/Chapter 1 - CAML basics.md @@ -34,7 +34,7 @@ _:string = "Hello World" The general form is : ```Ocaml # expr ;; -_: type of the evaluation = result of the evaluation +-: type of the evaluation = result of the evaluation ``` ## 1.3. Definitions diff --git a/Algo/Séminaire/Chapter 2 - Functions.md b/Algo/Séminaire/Chapter 2 - Functions.md index d55b94b..32ea870 100644 --- a/Algo/Séminaire/Chapter 2 - Functions.md +++ b/Algo/Séminaire/Chapter 2 - Functions.md @@ -1,3 +1,4 @@ +
diff --git a/Algo/Séminaire/Chapter 4 - A bit of imperative.md b/Algo/Séminaire/Chapter 4 - A bit of imperative.md index 1a3dc1f..de24197 100644 --- a/Algo/Séminaire/Chapter 4 - A bit of imperative.md +++ b/Algo/Séminaire/Chapter 4 - A bit of imperative.md @@ -1,3 +1,4 @@ +
diff --git a/Algo/Séminaire/Chapter 5 - Recursivity.md b/Algo/Séminaire/Chapter 5 - Recursivity.md index e9ea9f2..0e42fc0 100644 --- a/Algo/Séminaire/Chapter 5 - Recursivity.md +++ b/Algo/Séminaire/Chapter 5 - Recursivity.md @@ -1,3 +1,4 @@ +
### 5.1. Simple functions