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

vault backup: 2023-09-12 14:28:40

Browse Source
This commit is contained in:
Louis Gallet 2023-09-12 14:28:40 +02:00
parent 103ddfd27a
commit a897103dc8
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
2 changed files with 33 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
.obsidian/workspace.json vendored
View File

@ -11,8 +11,12 @@
"id": "c82ce15f72f65a11", "id": "c82ce15f72f65a11",
"type": "leaf", "type": "leaf",
"state": { "state": {
"type": "empty", "type": "markdown",
"state": {} "state": {
"file": "Algo/Séminaire/Exercices seminaire.md",
"mode": "source",
"source": false
}
} }
} }
] ]
@ -81,6 +85,7 @@
"state": { "state": {
"type": "backlink", "type": "backlink",
"state": { "state": {
"file": "Algo/Séminaire/Exercices seminaire.md",
"collapseAll": false, "collapseAll": false,
"extraContext": false, "extraContext": false,
"sortOrder": "alphabetical", "sortOrder": "alphabetical",
@ -97,6 +102,7 @@
"state": { "state": {
"type": "outgoing-link", "type": "outgoing-link",
"state": { "state": {
"file": "Algo/Séminaire/Exercices seminaire.md",
"linksCollapsed": false, "linksCollapsed": false,
"unlinkedCollapsed": true "unlinkedCollapsed": true
} }
@ -118,7 +124,19 @@
"type": "leaf", "type": "leaf",
"state": { "state": {
"type": "outline", "type": "outline",
"state": {} "state": {
"file": "Algo/Séminaire/Exercices seminaire.md"
}
}
},
{
"id": "8caa83daa576bd4a",
"type": "leaf",
"state": {
"type": "all-properties",
"state": {
"sortOrder": "frequency"
}
} }
} }
] ]
@ -140,9 +158,9 @@
}, },
"active": "c82ce15f72f65a11", "active": "c82ce15f72f65a11",
"lastOpenFiles": [ "lastOpenFiles": [
"Algo/Séminaire/Chapter 3 - Case analysis.md",
"README.md", "README.md",
"Algo/Séminaire/Exercices seminaire.md", "Algo/Séminaire/Exercices seminaire.md",
"Algo/Séminaire/Chapter 3 - Case analysis.md",
"Algo/Séminaire/Weird stuff.md", "Algo/Séminaire/Weird stuff.md",
"Untitled", "Untitled",
"Algo/Séminaire/Chapter 1 - CAML basics.md", "Algo/Séminaire/Chapter 1 - CAML basics.md",

14
Algo/Séminaire/Exercices seminaire.md
View File

@ -228,10 +228,18 @@ let strange = function
| (0, n) -> 0 | (0, n) -> 0
| (m, 0) -> 2*m | (m, 0) -> 2*m
| (m, n) -> m*n ;; | (m, n) -> m*n ;;
val strange: int*int -> int = <fun>
let or3 = function let or3 = function
| (a, false, false) -> "premier a" | (true, _, _) -> true
| (false, b, false) -> "b" | (_, true, _) -> true
| (false, false, c) -> "c" ;; | (_, _, true) -> true
| _ -> false
val or3: bool*bool*bool -> bool = <fun>
let or3-simple = function
| (false, false, false) -> false
| _ -> true
val or3-simple: bool*bool*bool -> bool = <fun>
``` ```