vault backup: 2023-09-14 16:35:15

This commit is contained in:
2023-09-14 16:35:15 +02:00
parent ebb412aef9
commit da7d2b705a
3 changed files with 10 additions and 6 deletions

View File

@ -13,7 +13,7 @@
"state": {
"type": "markdown",
"state": {
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
"file": "Algo/Séminaire/Chapter 2 - Functions.md",
"mode": "source",
"source": false
}
@ -85,7 +85,7 @@
"state": {
"type": "backlink",
"state": {
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
"file": "Algo/Séminaire/Chapter 2 - Functions.md",
"collapseAll": false,
"extraContext": false,
"sortOrder": "alphabetical",
@ -102,7 +102,7 @@
"state": {
"type": "outgoing-link",
"state": {
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
"file": "Algo/Séminaire/Chapter 2 - Functions.md",
"linksCollapsed": false,
"unlinkedCollapsed": true
}
@ -125,7 +125,7 @@
"state": {
"type": "outline",
"state": {
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md"
"file": "Algo/Séminaire/Chapter 2 - Functions.md"
}
}
},
@ -158,11 +158,11 @@
},
"active": "9e7be1904dfd4451",
"lastOpenFiles": [
"Algo/Séminaire/Chapter 4 - A bit of imperative.md",
"Algo/Séminaire/Chapter 3 - Case analysis.md",
"Algo/Séminaire/Chapter 4 - A bit of imperative.md",
"Algo/Séminaire/Chapter 5 - Recursivity.md",
"Algo/Séminaire/Chapter 2 - Functions.md",
"Algo/Séminaire/Chapter 1 - CAML basics.md",
"Algo/Séminaire/Chapter 5 - Recursivity.md",
"Algo/Séminaire/Exercices seminaire.md",
"Algo/Séminaire/assets/functions-meme.jpg",
"Algo/Séminaire/assets/unitaire-meme.png",

View File

@ -1,4 +1,6 @@
<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>
## 2.1. One parameter function
```Ocaml
# let successor x=x+1;;

View File

@ -1,4 +1,6 @@
<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>
## 0.1. Print
If we want to print something in CAML, we have to use this structure