lgallet/epicours
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

vault backup: 2023-09-16 00:26:38

Browse Source
This commit is contained in:
Louis Gallet
2023-09-16 00:26:38 +02:00
parent fded886ff5
commit 2f5c92f289
2 changed files with 10 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

29
.obsidian/workspace.json vendored
View File

@ -13,22 +13,12 @@
"state": { "state": {
"type": "markdown", "type": "markdown",
"state": { "state": {
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md", "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
"mode": "source", "mode": "source",
"source": false "source": false
} }
} }
}, },
{
"id": "cdc1b50aff81b014",
"type": "leaf",
"state": {
"type": "release-notes",
"state": {
"currentVersion": "1.4.13"
}
}
},
{ {
"id": "5aa49dd7e49043c7", "id": "5aa49dd7e49043c7",
"type": "leaf", "type": "leaf",
@ -41,8 +31,7 @@
} }
} }
} }
], ]
"currentTab": 1
} }
], ],
"direction": "vertical" "direction": "vertical"
@ -108,7 +97,7 @@
"state": { "state": {
"type": "backlink", "type": "backlink",
"state": { "state": {
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md", "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
"collapseAll": false, "collapseAll": false,
"extraContext": false, "extraContext": false,
"sortOrder": "alphabetical", "sortOrder": "alphabetical",
@ -125,7 +114,7 @@
"state": { "state": {
"type": "outgoing-link", "type": "outgoing-link",
"state": { "state": {
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md", "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
"linksCollapsed": false, "linksCollapsed": false,
"unlinkedCollapsed": true "unlinkedCollapsed": true
} }
@ -148,7 +137,7 @@
"state": { "state": {
"type": "outline", "type": "outline",
"state": { "state": {
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md" "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md"
} }
} }
}, },
@ -179,12 +168,12 @@
"command-palette:Open command palette": false "command-palette:Open command palette": false
} }
}, },
"active": "cdc1b50aff81b014", "active": "0d2d422aa24bb900",
"lastOpenFiles": [ "lastOpenFiles": [
"Algo/Séminaire/Exercices seminaire.md",
"Algo/Séminaire/Chapter 5 - Recursivity.md",
"Algo/Séminaire/Introduction.md",
"Algo/Séminaire/Chapter 3 - Case analysis.md", "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 2 - Functions.md", "Algo/Séminaire/Chapter 2 - Functions.md",
"Algo/Séminaire/Chapter 4 - A bit of imperative.md", "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
"Algo/Séminaire/Chapter 1 - CAML basics.md", "Algo/Séminaire/Chapter 1 - CAML basics.md",

2
Algo/Séminaire/Chapter 3 - Case analysis.md
View File

@ -37,7 +37,7 @@ Exception : Division by zero
Failwith is a function that take a string argument (the reason) and return the error. That way, we can raise an error into our code Failwith is a function that take a string argument (the reason) and return the error. That way, we can raise an error into our code
```Ocaml ```Ocaml
# failwith;; # failwith;;
-: string -> a = <fun> -: string -> a' = <fun>
# failwith "oops";; # failwith "oops";;
Exception : Failwith "oops" Exception : Failwith "oops"