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

vault backup: 2023-09-11 16:40:35

Browse Source
This commit is contained in:
Louis Gallet 2023-09-11 16:40:35 +02:00
parent d2fd32dffc
commit d2686afddb
Signed by: lgallet
SSH Key Fingerprint: SHA256:qnW7pk4EoMRR0UftZLZQKSMUImbEFsiruLC7jbCHJAY
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
Algo/Séminaire/Chapter 3 - Case analysis.md
View File

@ -142,3 +142,10 @@ val succ: int -> int = <fun>
``` ```
> ⚠️ Learn by heart > ⚠️ Learn by heart
**Exemple with `avg` function**
```Ocaml
# let avg = function a -> function b -> (a+b)/2
val avg : int -> int -> int = <fun>
```
> 💭 We read that like "let avg the function that to a associate the function that to b associate a+b divided by two"