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 = ``` > ⚠️ Learn by heart +**Exemple with `avg` function** +```Ocaml +# let avg = function a -> function b -> (a+b)/2 +val avg : int -> int -> int = +``` +> 💭 We read that like "let avg the function that to a associate the function that to b associate a+b divided by two" +