From d2686afddb1766a1721b1bd24f0dad6110c93cad Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Mon, 11 Sep 2023 16:40:35 +0200
Subject: [PATCH] vault backup: 2023-09-11 16:40:35

---
 Algo/Séminaire/Chapter 3 - Case analysis.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/Algo/Séminaire/Chapter 3 - Case analysis.md b/Algo/Séminaire/Chapter 3 - Case analysis.md
index 62f038b..2aa4738 100644
--- a/Algo/Séminaire/Chapter 3 - Case analysis.md	
+++ b/Algo/Séminaire/Chapter 3 - Case analysis.md	
@@ -142,3 +142,10 @@ val succ: int -> int = <fun>
 ```
 > ⚠️ 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"
+