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

vault backup: 2023-09-11 16:35:43

Browse Source
This commit is contained in:
Louis Gallet 2023-09-11 16:35:43 +02:00
parent f9b8d8cecb
commit d2fd32dffc
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
2 changed files with 18 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
.obsidian/workspace.json vendored
View File

@ -13,7 +13,7 @@
"state": { "state": {
"type": "markdown", "type": "markdown",
"state": { "state": {
"file": "Algo/Séminaire/Exercices seminaire.md", "file": "Algo/Séminaire/Chapter 3 - Case analysis.md",
"mode": "source", "mode": "source",
"source": false "source": false
} }
@ -85,7 +85,7 @@
"state": { "state": {
"type": "backlink", "type": "backlink",
"state": { "state": {
"file": "Algo/Séminaire/Exercices seminaire.md", "file": "Algo/Séminaire/Chapter 3 - Case analysis.md",
"collapseAll": false, "collapseAll": false,
"extraContext": false, "extraContext": false,
"sortOrder": "alphabetical", "sortOrder": "alphabetical",
@ -102,7 +102,7 @@
"state": { "state": {
"type": "outgoing-link", "type": "outgoing-link",
"state": { "state": {
"file": "Algo/Séminaire/Exercices seminaire.md", "file": "Algo/Séminaire/Chapter 3 - Case analysis.md",
"linksCollapsed": false, "linksCollapsed": false,
"unlinkedCollapsed": true "unlinkedCollapsed": true
} }
@ -125,7 +125,7 @@
"state": { "state": {
"type": "outline", "type": "outline",
"state": { "state": {
"file": "Algo/Séminaire/Exercices seminaire.md" "file": "Algo/Séminaire/Chapter 3 - Case analysis.md"
} }
} }
} }
@ -148,10 +148,10 @@
}, },
"active": "26ca4bd66426e29b", "active": "26ca4bd66426e29b",
"lastOpenFiles": [ "lastOpenFiles": [
"Algo/Séminaire/Exercices seminaire.md",
"Algo/Séminaire/Weird stuff.md", "Algo/Séminaire/Weird stuff.md",
"Algo/Séminaire/Chapter 3 - Case analysis.md", "Algo/Séminaire/Chapter 3 - Case analysis.md",
"Untitled", "Untitled",
"Algo/Séminaire/Exercices seminaire.md",
"Algo/Séminaire/Chapter 1 - CAML basics.md", "Algo/Séminaire/Chapter 1 - CAML basics.md",
"Algo/Séminaire/Chapter 2 - Functions.md", "Algo/Séminaire/Chapter 2 - Functions.md",
"Algo/Séminaire/Introduction.md", "Algo/Séminaire/Introduction.md",

13
Algo/Séminaire/Chapter 3 - Case analysis.md
View File

@ -128,4 +128,17 @@ val f : int -> int = <fun>
``` ```
> `y when y<0` is an evaluation > `y when y<0` is an evaluation
### Filtering and anonymous functions
```Ocaml
# let succ x = x +1;;
val succ: int -> int = <fun>
# let succ = function x -> x + 1;;
val succ: int -> int = <fun>
```
```Ocaml
# let f x = expr (*is equal to *) let f = function x -> expr
```
> ⚠️ Learn by heart