vault backup: 2023-10-25 17:27:14

.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"

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>