From 770a268e09f588eccb33a3ae8ae12334ad466049 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Wed, 25 Oct 2023 16:58:43 +0200
Subject: [PATCH] vault backup: 2023-10-25 16:58:43

---
 .obsidian/workspace.json                      | 32 +++++++++++++++----
 ... => Chapter 7 - High Order (exercises).md} | 12 ++++++-
 2 files changed, 36 insertions(+), 8 deletions(-)
 rename Algo/Courses/{Chapter 7 - X (exercises).md => Chapter 7 - High Order (exercises).md} (66%)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index c3bcaea..59b63dc 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -25,7 +25,7 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "Algo/Courses/Chapter 7 - X (exercises).md",
+                "file": "Algo/Courses/Chapter 7 - High Order (exercises).md",
                 "mode": "source",
                 "source": false
               }
@@ -33,6 +33,24 @@
           }
         ],
         "currentTab": 1
+      },
+      {
+        "id": "7734e3e697a0f69b",
+        "type": "tabs",
+        "children": [
+          {
+            "id": "4b8ef5548f793d6c",
+            "type": "leaf",
+            "state": {
+              "type": "markdown",
+              "state": {
+                "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
+                "mode": "source",
+                "source": false
+              }
+            }
+          }
+        ]
       }
     ],
     "direction": "vertical"
@@ -98,7 +116,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "Algo/Courses/Chapter 7 - X (exercises).md",
+                "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -115,7 +133,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "Algo/Courses/Chapter 7 - X (exercises).md",
+                "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -138,7 +156,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "Algo/Courses/Chapter 7 - X (exercises).md"
+                "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md"
               }
             }
           },
@@ -169,11 +187,11 @@
       "command-palette:Open command palette": false
     }
   },
-  "active": "26919eaeae9a8f38",
+  "active": "4b8ef5548f793d6c",
   "lastOpenFiles": [
-    "Algo/Courses/Chapter 6 - Lists.md",
-    "Algo/Courses/Chapter 7 - X (exercises).md",
+    "Algo/Courses/Chapter 7 - High Order (exercises).md",
     "Algo/Courses/Chapter 6 - Lists (Exercises).md",
+    "Algo/Courses/Chapter 6 - Lists.md",
     "Algo/Séminaire/Chapter 5 - Recursivity.md",
     "Algo/CM/CM du 04 octobre.md",
     "Algo/CM/CM du 27 septembre.md",
diff --git a/Algo/Courses/Chapter 7 - X (exercises).md b/Algo/Courses/Chapter 7 - High Order (exercises).md
similarity index 66%
rename from Algo/Courses/Chapter 7 - X (exercises).md
rename to Algo/Courses/Chapter 7 - High Order (exercises).md
index 35c1df5..8ff61e6 100644
--- a/Algo/Courses/Chapter 7 - X (exercises).md	
+++ b/Algo/Courses/Chapter 7 - High Order (exercises).md	
@@ -1,3 +1,4 @@
+## Ex 1.2
 ```Ocaml
 # let sum n = 
 	if n < 0 then
@@ -19,4 +20,13 @@ let sigma f n =
 		let rec sig = function
 			| 0 -> f0
 			| n -> fn + sig (n-1)
-		in sig n;;
\ No newline at end of file
+		in sig n;;
+val sigma: (int -> int) -> int -> int = <fun>
+```
+
+## Ex 2.1
+```
+# let map arg list =
+	if list = [] then 0
+	else
+		let e::t = list in