From 836493654da08f7df6246145be111a8c9653aba7 Mon Sep 17 00:00:00 2001 From: Louis Date: Wed, 25 Oct 2023 17:16:56 +0200 Subject: [PATCH] vault backup: 2023-10-25 17:16:56 --- Algo/Courses/Chapter 7 - High Order (exercises).md | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/Algo/Courses/Chapter 7 - High Order (exercises).md b/Algo/Courses/Chapter 7 - High Order (exercises).md index aa6e919..cf9d413 100644 --- a/Algo/Courses/Chapter 7 - High Order (exercises).md +++ b/Algo/Courses/Chapter 7 - High Order (exercises).md @@ -26,10 +26,12 @@ val sigma: (int -> int) -> int -> int = ## Ex 2.1 ``` -# let map arg list = - if list = [] then 0 - else - let e::t = list in # let rec map f = function | [] -> [] |e::t -> f(e)::map f t ;; +val map : ('a -> 'b) -> 'a list -> 'b list = +``` + +## Ex 2.2 +``` +# let rec for_app