From a897103dc896325d67a6b95ffa2d10b4fa470d45 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Tue, 12 Sep 2023 14:28:40 +0200
Subject: [PATCH] vault backup: 2023-09-12 14:28:40

---
 .obsidian/workspace.json              | 26 ++++++++++++++++++++++----
 Algo/Séminaire/Exercices seminaire.md | 14 +++++++++++---
 2 files changed, 33 insertions(+), 7 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 997fb91..3143e9e 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -11,8 +11,12 @@
             "id": "c82ce15f72f65a11",
             "type": "leaf",
             "state": {
-              "type": "empty",
-              "state": {}
+              "type": "markdown",
+              "state": {
+                "file": "Algo/Séminaire/Exercices seminaire.md",
+                "mode": "source",
+                "source": false
+              }
             }
           }
         ]
@@ -81,6 +85,7 @@
             "state": {
               "type": "backlink",
               "state": {
+                "file": "Algo/Séminaire/Exercices seminaire.md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -97,6 +102,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
+                "file": "Algo/Séminaire/Exercices seminaire.md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -118,7 +124,19 @@
             "type": "leaf",
             "state": {
               "type": "outline",
-              "state": {}
+              "state": {
+                "file": "Algo/Séminaire/Exercices seminaire.md"
+              }
+            }
+          },
+          {
+            "id": "8caa83daa576bd4a",
+            "type": "leaf",
+            "state": {
+              "type": "all-properties",
+              "state": {
+                "sortOrder": "frequency"
+              }
             }
           }
         ]
@@ -140,9 +158,9 @@
   },
   "active": "c82ce15f72f65a11",
   "lastOpenFiles": [
+    "Algo/Séminaire/Chapter 3 - Case analysis.md",
     "README.md",
     "Algo/Séminaire/Exercices seminaire.md",
-    "Algo/Séminaire/Chapter 3 - Case analysis.md",
     "Algo/Séminaire/Weird stuff.md",
     "Untitled",
     "Algo/Séminaire/Chapter 1 - CAML basics.md",
diff --git a/Algo/Séminaire/Exercices seminaire.md b/Algo/Séminaire/Exercices seminaire.md
index d604fce..c383f36 100644
--- a/Algo/Séminaire/Exercices seminaire.md	
+++ b/Algo/Séminaire/Exercices seminaire.md	
@@ -228,10 +228,18 @@ let strange = function
 	| (0, n) -> 0
 	| (m, 0) -> 2*m
 	| (m, n) -> m*n ;;
+val strange: int*int -> int = <fun>
 
 let or3 = function
-	| (a, false, false) -> "premier a"
-	| (false, b, false) -> "b"
-	| (false, false, c) -> "c" ;;
+	| (true, _, _) -> true
+	| (_, true, _) -> true
+	| (_, _, true) -> true
+	| _ -> false
+val or3: bool*bool*bool -> bool = <fun>
+
+let or3-simple = function
+	| (false, false, false) -> false
+	| _ -> true
+val or3-simple: bool*bool*bool -> bool = <fun>
 ```