From 4aab4c46ec55c6814e2a22380c14f5e36d5cdc02 Mon Sep 17 00:00:00 2001 From: Louis Date: Mon, 16 Oct 2023 14:39:09 +0200 Subject: [PATCH] vault backup: 2023-10-16 14:39:09 --- .obsidian/workspace.json | 3 ++- Algo/Courses/Chapter 6 - Lists (Exercises).md | 14 ++++++++++++-- 2 files changed, 14 insertions(+), 3 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 340eb50..c669874 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -81,7 +81,8 @@ } ], "direction": "horizontal", - "width": 300 + "width": 300, + "collapsed": true }, "right": { "id": "b83c16dd7908c658", diff --git a/Algo/Courses/Chapter 6 - Lists (Exercises).md b/Algo/Courses/Chapter 6 - Lists (Exercises).md index d862798..2436fb8 100644 --- a/Algo/Courses/Chapter 6 - Lists (Exercises).md +++ b/Algo/Courses/Chapter 6 - Lists (Exercises).md @@ -221,7 +221,7 @@ val reverse : 'a list -> 'a list = val reverse: 'a list -> 'a list = ``` -## Exercise 3.6 +## Exercise 4.1 ```Ocaml let rec equals l = function | [] when l = [] -> true @@ -230,7 +230,7 @@ let rec equals l = function val equals = 'a list -> 'a list -> bool = ``` -## Exercise 3.7 +## Exercise 4.2 ```Ocaml let shared l1 l2 = function | [] -> [] @@ -242,3 +242,13 @@ let shared l1 l2 = function else shared (e::t) t2;; val shard = 'a list -> 'a list -> 'a list -> 'a list = +``` + +## Exercise 5.1 +```Ocaml +let assos k l = + if (k < 0) then + invalid_arg "k not natural" + else + match l with + | e::t ->