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

vault backup: 2023-09-12 17:47:53

Browse Source
This commit is contained in:
Louis Gallet 2023-09-12 17:47:53 +02:00
parent 91ea71795f
commit b63dad735f
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
2 changed files with 12 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

11
.obsidian/workspace.json vendored
View File

@ -25,13 +25,14 @@
"state": { "state": {
"type": "markdown", "type": "markdown",
"state": { "state": {
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md", "file": "Algo/Séminaire/Exercices seminaire.md",
"mode": "source", "mode": "source",
"source": false "source": false
} }
} }
} }
] ],
"currentTab": 1
} }
], ],
"direction": "vertical" "direction": "vertical"
@ -168,19 +169,19 @@
"command-palette:Open command palette": false "command-palette:Open command palette": false
} }
}, },
"active": "c82ce15f72f65a11", "active": "64e3f10f354fdce4",
"lastOpenFiles": [ "lastOpenFiles": [
"Algo/Séminaire/Introduction.md",
"Algo/Séminaire/Chapter 5 - Recursivity.md", "Algo/Séminaire/Chapter 5 - Recursivity.md",
"Algo/Séminaire/Exercices seminaire.md",
"Algo/Séminaire/Chapter 3 - Case analysis.md", "Algo/Séminaire/Chapter 3 - Case analysis.md",
"Algo/Séminaire/Chapter 2 - Functions.md", "Algo/Séminaire/Chapter 2 - Functions.md",
"Algo/Séminaire/Exercices seminaire.md",
"Algo/Séminaire/assets/fact function response.png", "Algo/Séminaire/assets/fact function response.png",
"Algo/Séminaire/assets/recursivite-meme.png", "Algo/Séminaire/assets/recursivite-meme.png",
"Pasted image 20230912155138.png", "Pasted image 20230912155138.png",
"Algo/Séminaire/Chapter 4 - A bit of imperative.md", "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
"Algo/Chapter 0 - A bit of imperative/0.1 - Print.md", "Algo/Chapter 0 - A bit of imperative/0.1 - Print.md",
"Algo/Séminaire/Untitled", "Algo/Séminaire/Untitled",
"Algo/Séminaire/Introduction.md",
"Algo/Séminaire/Chapter 1 - CAML basics.md", "Algo/Séminaire/Chapter 1 - CAML basics.md",
"Mathématiques/Séminaire/Logics/Logics.md", "Mathématiques/Séminaire/Logics/Logics.md",
"Algo/Chapter 0 - A bit of imperative", "Algo/Chapter 0 - A bit of imperative",

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

@ -268,3 +268,9 @@ let rec add a = function
| 0 -> a | 0 -> a
| b -> 1 + add a (b-1);; | b -> 1 + add a (b-1);;
``` ```
## Exercise 4.6
```Ocaml
let rec mult a = function
| a when a = 0 | a when b = 0 -> 0
|