vault backup: 2023-09-04 15:59:40

.obsidian/workspace.json

@@ -4,11 +4,11 @@
     "type": "split",
     "children": [
       {
-        "id": "8f5f502f53642b40",
+        "id": "649ef7b24f4c8559",
         "type": "tabs",
         "children": [
           {
-            "id": "cb5bc35ff4a8b486",
+            "id": "13c9bfe482ec2d42",
             "type": "leaf",
             "state": {
               "type": "markdown",
@@ -146,12 +146,12 @@
       "command-palette:Open command palette": false
     }
   },
-  "active": "c473a791e2b34194",
+  "active": "13c9bfe482ec2d42",
   "lastOpenFiles": [
+    "Algo/Séminaire/Introduction.md",
     "Algo/Séminaire/Chapter 2 - Functions.md",
     "Algo/Séminaire/Chapter 1 - CAML basics.md",
     "Mathématiques/Séminaire/Logics/Logics.md",
-    "Algo/Séminaire/Introduction.md",
     "Algo/Séminaire",
     "Untitled.canvas",
     "README.md",

Algo/Séminaire/Chapter 2 - Functions.md

@@ -66,3 +66,10 @@ val square_of_pred: int -> int = <fun>
 # square_of_pred 3;;
 _: int = 4
 
+# let square_of_pred x = let pred x = x - 1 in pred x * pred x
+val square_of_pred: int -> int = <fun>
+val pred: int -> int = <fun>
+
+# square_of_pred 3;;
+_: int = 4 *same things but with another method*
+```