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

---
 .obsidian/workspace.json                    | 10 +++++-----
 Algo/Séminaire/Chapter 3 - Case analysis.md | 13 +++++++++++++
 2 files changed, 18 insertions(+), 5 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 7c9d8bc..914e0eb 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -13,7 +13,7 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Algo/Séminaire/Exercices seminaire.md",
+                "file": "Algo/Séminaire/Chapter 3 - Case analysis.md",
                 "mode": "source",
                 "source": false
               }
@@ -85,7 +85,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "Algo/Séminaire/Exercices seminaire.md",
+                "file": "Algo/Séminaire/Chapter 3 - Case analysis.md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -102,7 +102,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "Algo/Séminaire/Exercices seminaire.md",
+                "file": "Algo/Séminaire/Chapter 3 - Case analysis.md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -125,7 +125,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "Algo/Séminaire/Exercices seminaire.md"
+                "file": "Algo/Séminaire/Chapter 3 - Case analysis.md"
               }
             }
           }
@@ -148,10 +148,10 @@
   },
   "active": "26ca4bd66426e29b",
   "lastOpenFiles": [
+    "Algo/Séminaire/Exercices seminaire.md",
     "Algo/Séminaire/Weird stuff.md",
     "Algo/Séminaire/Chapter 3 - Case analysis.md",
     "Untitled",
-    "Algo/Séminaire/Exercices seminaire.md",
     "Algo/Séminaire/Chapter 1 - CAML basics.md",
     "Algo/Séminaire/Chapter 2 - Functions.md",
     "Algo/Séminaire/Introduction.md",
diff --git a/Algo/Séminaire/Chapter 3 - Case analysis.md b/Algo/Séminaire/Chapter 3 - Case analysis.md
index 70de01b..62f038b 100644
--- a/Algo/Séminaire/Chapter 3 - Case analysis.md	
+++ b/Algo/Séminaire/Chapter 3 - Case analysis.md	
@@ -128,4 +128,17 @@ val f : int -> int = <fun>
 ```
 
 > `y when y<0` is an evaluation 
+### Filtering and anonymous functions
+```Ocaml
+# let succ x = x +1;;
+val succ: int -> int = <fun>
+
+# let succ = function x -> x + 1;;
+val succ: int -> int = <fun>
+```
+
+```Ocaml
+# let f x = expr (*is equal to *) let f = function x -> expr
+```
+> ⚠️ Learn by heart