From 17ba01e9e2dcb85b9dfe689e15f5dca4c49a194b Mon Sep 17 00:00:00 2001 From: Louis Date: Fri, 13 Oct 2023 15:02:27 +0200 Subject: [PATCH] vault backup: 2023-10-13 15:02:27 --- Algo/Courses/Chapter 6 - Lists (Exercises).md | 1 + 1 file changed, 1 insertion(+) diff --git a/Algo/Courses/Chapter 6 - Lists (Exercises).md b/Algo/Courses/Chapter 6 - Lists (Exercises).md index 7bb1ad0..8fd3335 100644 --- a/Algo/Courses/Chapter 6 - Lists (Exercises).md +++ b/Algo/Courses/Chapter 6 - Lists (Exercises).md @@ -197,4 +197,5 @@ let insert_nth w i list = | e::E when i = 1 -> x::e::t | 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