vault backup: 2023-09-12 21:33:05

.obsidian/workspace.json

@@ -13,26 +13,13 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Algo/Séminaire/Chapter 5 - Recursivity.md",
+                "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
-                "mode": "source",
-                "source": false
-              }
-            }
-          },
-          {
-            "id": "64e3f10f354fdce4",
-            "type": "leaf",
-            "state": {
-              "type": "markdown",
-              "state": {
-                "file": "Algo/Séminaire/Exercices seminaire.md",
                 "mode": "source",
                 "source": false
               }
             }
           }
-        ],
+        ]
-        "currentTab": 1
       }
     ],
     "direction": "vertical"
@@ -98,7 +85,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "Algo/Séminaire/Exercices seminaire.md",
+                "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -115,7 +102,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "Algo/Séminaire/Exercices seminaire.md",
+                "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -138,7 +125,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "Algo/Séminaire/Exercices seminaire.md"
+                "file": "Algo/Séminaire/Chapter 4 - A bit of imperative.md"
               }
             }
           },
@@ -169,12 +156,12 @@
       "command-palette:Open command palette": false
     }
   },
-  "active": "64e3f10f354fdce4",
+  "active": "c82ce15f72f65a11",
   "lastOpenFiles": [
+    "Algo/Séminaire/Chapter 3 - Case analysis.md",
     "Algo/Séminaire/Chapter 5 - Recursivity.md",
     "Algo/Séminaire/Exercices seminaire.md",
     "Algo/Séminaire/Introduction.md",
-    "Algo/Séminaire/Chapter 3 - Case analysis.md",
     "Algo/Séminaire/Chapter 2 - Functions.md",
     "Algo/Séminaire/assets/fact function response.png",
     "Algo/Séminaire/assets/recursivite-meme.png",

Algo/Séminaire/Exercices seminaire.md

@@ -288,4 +288,5 @@ let rec quo a b =
 	else if b = 1 then
 		a
 	else 
-		1 + quo (a-b) b ;;
+		1 + quo (a-b) b ;;
+```