vault backup: 2023-09-14 23:10:28
This commit is contained in:
parent
7c5858c967
commit
9c287a2d4b
16
.obsidian/workspace.json
vendored
16
.obsidian/workspace.json
vendored
@ -13,7 +13,7 @@
|
|||||||
"state": {
|
"state": {
|
||||||
"type": "markdown",
|
"type": "markdown",
|
||||||
"state": {
|
"state": {
|
||||||
"file": "Algo/Séminaire/Introduction.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/Introduction.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/Introduction.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/Introduction.md"
|
"file": "Algo/Séminaire/Chapter 3 - Case analysis.md"
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
},
|
},
|
||||||
@ -158,13 +158,13 @@
|
|||||||
},
|
},
|
||||||
"active": "0d2d422aa24bb900",
|
"active": "0d2d422aa24bb900",
|
||||||
"lastOpenFiles": [
|
"lastOpenFiles": [
|
||||||
|
"Algo/Séminaire/Chapter 2 - Functions.md",
|
||||||
|
"Algo/Séminaire/Chapter 4 - A bit of imperative.md",
|
||||||
|
"Algo/Séminaire/Chapter 3 - Case analysis.md",
|
||||||
"Algo/Séminaire/Chapter 5 - Recursivity.md",
|
"Algo/Séminaire/Chapter 5 - Recursivity.md",
|
||||||
"Algo/Séminaire/Introduction.md",
|
"Algo/Séminaire/Introduction.md",
|
||||||
"Algo/Séminaire/Exercices seminaire.md",
|
|
||||||
"Algo/Séminaire/Chapter 2 - Functions.md",
|
|
||||||
"Algo/Séminaire/Chapter 3 - Case analysis.md",
|
|
||||||
"Algo/Séminaire/Chapter 4 - A bit of imperative.md",
|
|
||||||
"Algo/Séminaire/Chapter 1 - CAML basics.md",
|
"Algo/Séminaire/Chapter 1 - CAML basics.md",
|
||||||
|
"Algo/Séminaire/Exercices seminaire.md",
|
||||||
"Algo/Séminaire/assets/exception-meme.png",
|
"Algo/Séminaire/assets/exception-meme.png",
|
||||||
"Algo/Séminaire/assets/filter-meme.png",
|
"Algo/Séminaire/assets/filter-meme.png",
|
||||||
"Algo/Séminaire/assets/if-meme.png",
|
"Algo/Séminaire/assets/if-meme.png",
|
||||||
|
@ -34,7 +34,7 @@ _:string = "Hello World"
|
|||||||
The general form is :
|
The general form is :
|
||||||
```Ocaml
|
```Ocaml
|
||||||
# expr ;;
|
# expr ;;
|
||||||
_: type of the evaluation = result of the evaluation
|
-: type of the evaluation = result of the evaluation
|
||||||
```
|
```
|
||||||
|
|
||||||
## 1.3. Definitions
|
## 1.3. Definitions
|
||||||
|
@ -1,3 +1,4 @@
|
|||||||
|
|
||||||
<center><img src="https://gitea.louisgallet.fr/lgallet/epicours/raw/branch/main/Algo/S%C3%A9minaire/assets/functions-meme.jpg " width=auto height=400 /> </center>
|
<center><img src="https://gitea.louisgallet.fr/lgallet/epicours/raw/branch/main/Algo/S%C3%A9minaire/assets/functions-meme.jpg " width=auto height=400 /> </center>
|
||||||
|
|
||||||
|
|
||||||
|
@ -1,3 +1,4 @@
|
|||||||
|
|
||||||
<center><img src="https://gitea.louisgallet.fr/lgallet/epicours/raw/branch/main/Algo/S%C3%A9minaire/assets/unitaire-meme.png " width=auto height=400 /> </center>
|
<center><img src="https://gitea.louisgallet.fr/lgallet/epicours/raw/branch/main/Algo/S%C3%A9minaire/assets/unitaire-meme.png " width=auto height=400 /> </center>
|
||||||
|
|
||||||
|
|
||||||
|
@ -1,3 +1,4 @@
|
|||||||
|
|
||||||
<center><img src="https://gitea.louisgallet.fr/lgallet/epicours/raw/branch/main/Algo/S%C3%A9minaire/assets/recursivite-meme.png " width=512 height=auto /> </center>
|
<center><img src="https://gitea.louisgallet.fr/lgallet/epicours/raw/branch/main/Algo/S%C3%A9minaire/assets/recursivite-meme.png " width=512 height=auto /> </center>
|
||||||
|
|
||||||
### 5.1. Simple functions
|
### 5.1. Simple functions
|
||||||
|
Loading…
x
Reference in New Issue
Block a user