From b022a5bc903e6c9b276740379aadc69c336f9c87 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Mon, 4 Sep 2023 15:59:40 +0200
Subject: [PATCH] vault backup: 2023-09-04 15:59:40

---
 .obsidian/workspace.json                | 8 ++++----
 Algo/Séminaire/Chapter 2 - Functions.md | 7 +++++++
 2 files changed, 11 insertions(+), 4 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 78c8a88..3cda0cb 100644
--- a/.obsidian/workspace.json
+++ b/.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",
diff --git a/Algo/Séminaire/Chapter 2 - Functions.md b/Algo/Séminaire/Chapter 2 - Functions.md
index 2097f70..75e63c6 100644
--- a/Algo/Séminaire/Chapter 2 - Functions.md	
+++ b/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*
+```