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

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

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index cfc8579..22c7256 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -33,24 +33,6 @@
           }
         ],
         "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"
diff --git a/Algo/Courses/Chapter 7 - High Order (exercises).md b/Algo/Courses/Chapter 7 - High Order (exercises).md
index 3f86f46..23998b8 100644
--- a/Algo/Courses/Chapter 7 - High Order (exercises).md	
+++ b/Algo/Courses/Chapter 7 - High Order (exercises).md	
@@ -28,7 +28,7 @@ val sigma: (int -> int) -> int -> int = <fun>
 ```
 # let rec map f = function
 	| [] -> []
-	|e::t -> f(e)::map f t ;;
+	|e::t -> f e::map f t ;;
 val map : ('a -> 'b) -> 'a list -> 'b list = <fun>
 ```
 
@@ -36,4 +36,5 @@ val map : ('a -> 'b) -> 'a list -> 'b list = <fun>
 ```
 # let rec for_all p = function
 	| [] -> true
-	| e::t -> if p(e) then for_all p t else false;;
+	| e::t -> if p e && for_all p t;;
+val for_all: ('a -> bool) -> 'a list -> bool = <fun>