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

vault backup: 2023-09-14 23:23:50

Browse Source
This commit is contained in:
Louis Gallet 2023-09-14 23:23:50 +02:00
parent 9c287a2d4b
commit 7886cad923
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
2 changed files with 8 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
.obsidian/workspace.json vendored
View File

@ -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",

3
Algo/Séminaire/Chapter 5 - Recursivity.md
View File

@ -92,4 +92,5 @@ and even n =
add (n-1);;
val add : int -> bool = <fun>
val even : int -> bool = <fun>
```
```