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

vault backup: 2023-10-25 16:58:43

Browse Source
This commit is contained in:
Louis Gallet 2023-10-25 16:58:43 +02:00
parent 2a699f1674
commit 770a268e09
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
2 changed files with 36 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
.obsidian/workspace.json vendored
View File

@ -25,7 +25,7 @@
"state": { "state": {
"type": "markdown", "type": "markdown",
"state": { "state": {
"file": "Algo/Courses/Chapter 7 - X (exercises).md", "file": "Algo/Courses/Chapter 7 - High Order (exercises).md",
"mode": "source", "mode": "source",
"source": false "source": false
} }
@ -33,6 +33,24 @@
} }
], ],
"currentTab": 1 "currentTab": 1
},
{
"id": "7734e3e697a0f69b",
"type": "tabs",
"children": [
{
"id": "4b8ef5548f793d6c",
"type": "leaf",
"state": {
"type": "markdown",
"state": {
"file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
"mode": "source",
"source": false
}
}
}
]
} }
], ],
"direction": "vertical" "direction": "vertical"
@ -98,7 +116,7 @@
"state": { "state": {
"type": "backlink", "type": "backlink",
"state": { "state": {
"file": "Algo/Courses/Chapter 7 - X (exercises).md", "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
"collapseAll": false, "collapseAll": false,
"extraContext": false, "extraContext": false,
"sortOrder": "alphabetical", "sortOrder": "alphabetical",
@ -115,7 +133,7 @@
"state": { "state": {
"type": "outgoing-link", "type": "outgoing-link",
"state": { "state": {
"file": "Algo/Courses/Chapter 7 - X (exercises).md", "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
"linksCollapsed": false, "linksCollapsed": false,
"unlinkedCollapsed": true "unlinkedCollapsed": true
} }
@ -138,7 +156,7 @@
"state": { "state": {
"type": "outline", "type": "outline",
"state": { "state": {
"file": "Algo/Courses/Chapter 7 - X (exercises).md" "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md"
} }
} }
}, },
@ -169,11 +187,11 @@
"command-palette:Open command palette": false "command-palette:Open command palette": false
} }
}, },
"active": "26919eaeae9a8f38", "active": "4b8ef5548f793d6c",
"lastOpenFiles": [ "lastOpenFiles": [
"Algo/Courses/Chapter 6 - Lists.md", "Algo/Courses/Chapter 7 - High Order (exercises).md",
"Algo/Courses/Chapter 7 - X (exercises).md",
"Algo/Courses/Chapter 6 - Lists (Exercises).md", "Algo/Courses/Chapter 6 - Lists (Exercises).md",
"Algo/Courses/Chapter 6 - Lists.md",
"Algo/Séminaire/Chapter 5 - Recursivity.md", "Algo/Séminaire/Chapter 5 - Recursivity.md",
"Algo/CM/CM du 04 octobre.md", "Algo/CM/CM du 04 octobre.md",
"Algo/CM/CM du 27 septembre.md", "Algo/CM/CM du 27 septembre.md",

12
Algo/Courses/Chapter 7 - X (exercises).md → Algo/Courses/Chapter 7 - High Order (exercises).md
View File

@ -1,3 +1,4 @@
## Ex 1.2
```Ocaml ```Ocaml
# let sum n = # let sum n =
if n < 0 then if n < 0 then
@ -19,4 +20,13 @@ let sigma f n =
let rec sig = function let rec sig = function
| 0 -> f0 | 0 -> f0
| n -> fn + sig (n-1) | n -> fn + sig (n-1)
in sig n;; in sig n;;
val sigma: (int -> int) -> int -> int = <fun>
```
## Ex 2.1
```
# let map arg list =
if list = [] then 0
else
let e::t = list in