From 80756ff275eaf5793a60da2325e223ad5f109f3a Mon Sep 17 00:00:00 2001 From: Louis Date: Fri, 13 Oct 2023 15:27:04 +0200 Subject: [PATCH] vault backup: 2023-10-13 15:27:04 --- Algo/Courses/Chapter 6 - Lists (Exercises).md | 9 ++++++++- 1 file changed, 8 insertions(+), 1 deletion(-) diff --git a/Algo/Courses/Chapter 6 - Lists (Exercises).md b/Algo/Courses/Chapter 6 - Lists (Exercises).md index 9f31447..88d2734 100644 --- a/Algo/Courses/Chapter 6 - Lists (Exercises).md +++ b/Algo/Courses/Chapter 6 - Lists (Exercises).md @@ -195,4 +195,11 @@ let insert_nth w i list = | (i, e::t) -> e::insrec(i-1, t) in insrec i list;; val insert_nth: 'a -> int -> 'a list -> 'a list = - \ No newline at end of file +``` + +## Exercise 3.4 +``` +# let insert_post x y list = match list with + | [] -> failwith "list is too large or empty" + | e::t -> if e = x then e::y::t else e::insert_post x y (t);; +val insert_post : 'a -> ' \ No newline at end of file