From 5fc3e62812d5a4b9092c294b6720a17483f4f1d6 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Wed, 25 Oct 2023 17:11:49 +0200
Subject: [PATCH] vault backup: 2023-10-25 17:11:49

---
 .obsidian/workspace.json                           | 10 +++++-----
 Algo/Courses/Chapter 7 - High Order (exercises).md |  3 +++
 2 files changed, 8 insertions(+), 5 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index 59b63dc..cfc8579 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -116,7 +116,7 @@
             "state": {
               "type": "backlink",
               "state": {
-                "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
+                "file": "Algo/Courses/Chapter 7 - High Order (exercises).md",
                 "collapseAll": false,
                 "extraContext": false,
                 "sortOrder": "alphabetical",
@@ -133,7 +133,7 @@
             "state": {
               "type": "outgoing-link",
               "state": {
-                "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md",
+                "file": "Algo/Courses/Chapter 7 - High Order (exercises).md",
                 "linksCollapsed": false,
                 "unlinkedCollapsed": true
               }
@@ -156,7 +156,7 @@
             "state": {
               "type": "outline",
               "state": {
-                "file": "Algo/Courses/Chapter 6 - Lists (Exercises).md"
+                "file": "Algo/Courses/Chapter 7 - High Order (exercises).md"
               }
             }
           },
@@ -187,10 +187,10 @@
       "command-palette:Open command palette": false
     }
   },
-  "active": "4b8ef5548f793d6c",
+  "active": "26919eaeae9a8f38",
   "lastOpenFiles": [
-    "Algo/Courses/Chapter 7 - High Order (exercises).md",
     "Algo/Courses/Chapter 6 - Lists (Exercises).md",
+    "Algo/Courses/Chapter 7 - High Order (exercises).md",
     "Algo/Courses/Chapter 6 - Lists.md",
     "Algo/Séminaire/Chapter 5 - Recursivity.md",
     "Algo/CM/CM du 04 octobre.md",
diff --git a/Algo/Courses/Chapter 7 - High Order (exercises).md b/Algo/Courses/Chapter 7 - High Order (exercises).md
index 8ff61e6..aa6e919 100644
--- a/Algo/Courses/Chapter 7 - High Order (exercises).md	
+++ b/Algo/Courses/Chapter 7 - High Order (exercises).md	
@@ -30,3 +30,6 @@ val sigma: (int -> int) -> int -> int = <fun>
 	if list = [] then 0
 	else
 		let e::t = list in
+# let rec map f = function
+	| [] -> []
+	|e::t -> f(e)::map f t ;;