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

vault backup: 2023-09-14 16:32:40

Browse Source
This commit is contained in:
Louis Gallet 2023-09-14 16:32:40 +02:00
parent 23016a56fd
commit 910b63a9a4
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
3 changed files with 7 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
.obsidian/workspace.json vendored
View File

@ -158,20 +158,20 @@
},
"active": "9e7be1904dfd4451",
"lastOpenFiles": [
"Algo/Séminaire/Chapter 1 - CAML basics.md",
"Algo/Séminaire/Chapter 2 - Functions.md",
"Algo/Séminaire/Chapter 5 - Recursivity.md",
"Algo/Séminaire/Exercices seminaire.md",
"Algo/Séminaire/assets/functions-meme.jpg",
"Algo/Séminaire/Chapter 5 - Recursivity.md",
"Algo/Séminaire/Chapter 4 - A bit of imperative.md",
"Algo/Séminaire/Chapter 3 - Case analysis.md",
"Algo/Séminaire/assets/unitaire-meme.png",
"Algo/Séminaire/Introduction.md",
"Algo/Séminaire/Chapter 2 - Functions.md",
"Algo/Séminaire/assets/fact function response.png",
"Algo/Séminaire/assets/recursivite-meme.png",
"Pasted image 20230912155138.png",
"Algo/Chapter 0 - A bit of imperative/0.1 - Print.md",
"Algo/Séminaire/Untitled",
"Algo/Séminaire/Chapter 1 - CAML basics.md",
"Mathématiques/Séminaire/Logics/Logics.md",
"Algo/Chapter 0 - A bit of imperative",
"README.md",

1
Algo/Séminaire/Chapter 2 - Functions.md
View File

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

4
Algo/Séminaire/Chapter 5 - Recursivity.md
View File

@ -84,9 +84,11 @@ let rec odd n =
else
even (n-1);;
let rec even n =
and even n =
if n = 0 then
true
else
add (n-1);;
val add : int -> bool = <fun>
val even : int -> bool = <fun>
```