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

vault backup: 2023-10-09 13:56:07

Browse Source
This commit is contained in:
Louis Gallet 2023-10-09 13:56:08 +02:00
parent 47b63721c2
commit 0f93510572
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
2 changed files with 27 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
.obsidian/workspace.json vendored
View File

@ -18,8 +18,21 @@
"source": false "source": false
} }
} }
},
{
"id": "26919eaeae9a8f38",
"type": "leaf",
"state": {
"type": "markdown",
"state": {
"file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
"mode": "source",
"source": false
} }
] }
}
],
"currentTab": 1
} }
], ],
"direction": "vertical" "direction": "vertical"
@ -85,7 +98,7 @@
"state": { "state": {
"type": "backlink", "type": "backlink",
"state": { "state": {
"file": "Algo/Courses/Chapter 6 - Lists.md", "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
"collapseAll": false, "collapseAll": false,
"extraContext": false, "extraContext": false,
"sortOrder": "alphabetical", "sortOrder": "alphabetical",
@ -102,7 +115,7 @@
"state": { "state": {
"type": "outgoing-link", "type": "outgoing-link",
"state": { "state": {
"file": "Algo/Courses/Chapter 6 - Lists.md", "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
"linksCollapsed": false, "linksCollapsed": false,
"unlinkedCollapsed": true "unlinkedCollapsed": true
} }
@ -125,7 +138,7 @@
"state": { "state": {
"type": "outline", "type": "outline",
"state": { "state": {
"file": "Algo/Courses/Chapter 6 - Lists.md" "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md"
} }
} }
}, },
@ -156,10 +169,10 @@
"command-palette:Open command palette": false "command-palette:Open command palette": false
} }
}, },
"active": "eaf65669cfff2a2c", "active": "26919eaeae9a8f38",
"lastOpenFiles": [ "lastOpenFiles": [
"Algo/Courses/Chapter 6 - Lists (Exercises).md",
"Algo/Courses/Chapter 6 - Lists.md", "Algo/Courses/Chapter 6 - Lists.md",
"Algo/Courses/Chapter 6 - Lists (Exercises).md",
"Algo/Courses/Untitled.md", "Algo/Courses/Untitled.md",
"Algo/Séminaire/Exercices seminaire.md", "Algo/Séminaire/Exercices seminaire.md",
"Prog/Loops.md", "Prog/Loops.md",

10
Algo/Courses/Chapter 6 - Lists (Exercises).md
View File

@ -140,6 +140,12 @@ let rec growing = function
``` ```
## Exercise 3.2 ## Exercise 3.2
``` ```Ocaml
let rec delete x = function let rec delete x = function
| e::i -> if x == e then | [] -> []
| e::i ->
if x == e then i
else if e < x then
e::delete x i
else 1
```