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

vault backup: 2023-10-13 14:48:36

Browse Source
This commit is contained in:
Louis Gallet 2023-10-13 14:48:36 +02:00
parent b1132c0f1f
commit e29bce3e13
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
2 changed files with 15 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.obsidian/workspace.json vendored
View File

@ -98,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",
@ -115,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
} }
@ -138,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"
} }
} }
}, },

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

@ -155,6 +155,18 @@ let rec delete x = function
if x == e then i if x == e then i
else else
e::delete x i e::delete x i
(* Correction *)
let rec delete x = function
|[] -> []
|e::t -> if e = x then
t
else if x < e then
e::t
else
e::delete x t ;;
val delete: int -> 'a list -> list = <fun>
``` ```
## Exercise 3.3 ## Exercise 3.3