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

vault backup: 2023-10-20 14:21:34

Browse Source
This commit is contained in:
Louis Gallet 2023-10-20 14:21:34 +02:00
parent 3244da3342
commit 7fbf9619f2
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
2 changed files with 18 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
.obsidian/workspace.json vendored
View File

@ -31,8 +31,7 @@
}
}
}
],
"currentTab": 1
]
}
],
"direction": "vertical"
@ -98,7 +97,7 @@
"state": {
"type": "backlink",
"state": {
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
"file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
"collapseAll": false,
"extraContext": false,
"sortOrder": "alphabetical",
@ -115,7 +114,7 @@
"state": {
"type": "outgoing-link",
"state": {
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
"file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
"linksCollapsed": false,
"unlinkedCollapsed": true
}
@ -138,7 +137,7 @@
"state": {
"type": "outline",
"state": {
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md"
"file": "Algo/Courses/Chapter 6 - Lists (Exercises).md"
}
}
},
@ -169,15 +168,15 @@
"command-palette:Open command palette": false
}
},
"active": "26919eaeae9a8f38",
"active": "eaf65669cfff2a2c",
"lastOpenFiles": [
"Algo/Séminaire/Chapter 5 - Recursivity.md",
"Algo/Courses/Chapter 6 - Lists.md",
"Algo/Séminaire/Chapter 3 - Case analysis.md",
"Algo/Séminaire/Chapter 2 - Functions.md",
"Algo/Courses/Chapter 6 - Lists (Exercises).md",
"Algo/Séminaire/Chapter 1 - CAML basics.md",
"Prog/Loops.md",
"Algo/Séminaire/Chapter 5 - Recursivity.md",
"Algo/Séminaire/Chapter 4 - A bit of imperative.md",
"Algo/CM/Lists.md",
"Algo/CM/CM du 27 septembre.md",

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

@ -252,4 +252,16 @@ let assos k = function
| (k2, v2):: t when k < k2 -> faiwith "not found"
| e::t -> assoc k t
val assos = 'a -> ('a + 'b) list -> 'b = <fun>
(*Correction*)
let assoc k l =
if k < 0 then
invalid_arg "k not a natural"
else
let rec findkey k = function
[] -> failwith "not found"
| (ke, ve)::t when k = ke -> ve
| (ke, ve)::t when k < ke -> failwith "not found"
| (ke, ve)::t -> findkey k t
in findkey l
```