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

vault backup: 2023-09-12 17:55:20

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

4
.obsidian/workspace.json vendored
View File

@ -13,7 +13,7 @@
"state": {
"type": "markdown",
"state": {
"file": "Algo/Séminaire/Exercices seminaire.md",
"file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
"mode": "source",
"source": false
}
@ -171,9 +171,9 @@
},
"active": "64e3f10f354fdce4",
"lastOpenFiles": [
"Algo/Séminaire/Introduction.md",
"Algo/Séminaire/Chapter 5 - Recursivity.md",
"Algo/Séminaire/Exercices seminaire.md",
"Algo/Séminaire/Introduction.md",
"Algo/Séminaire/Chapter 3 - Case analysis.md",
"Algo/Séminaire/Chapter 2 - Functions.md",
"Algo/Séminaire/assets/fact function response.png",

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

@ -271,6 +271,10 @@ let rec add a = function
## Exercise 4.6
```Ocaml
let rec mult a = function
| a when a = 0 | a when b = 0 -> 0
|
let rec mult a b =
if a = 0 || b = 0 then
0
else if b > 0 then
a + mult a (b - 1)
else
-mult a (-b) ;;