From f955d7c0fc1a9413188bd1680007e3d1e7d458f4 Mon Sep 17 00:00:00 2001 From: Louis Date: Fri, 13 Oct 2023 15:41:17 +0200 Subject: [PATCH] vault backup: 2023-10-13 15:41:17 --- Algo/Courses/Chapter 6 - Lists (Exercises).md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Algo/Courses/Chapter 6 - Lists (Exercises).md b/Algo/Courses/Chapter 6 - Lists (Exercises).md index 88d2734..8e8b692 100644 --- a/Algo/Courses/Chapter 6 - Lists (Exercises).md +++ b/Algo/Courses/Chapter 6 - Lists (Exercises).md @@ -202,4 +202,4 @@ val insert_nth: 'a -> int -> 'a list -> 'a list = # 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 +val insert_post : 'a -> a' list -> list = \ No newline at end of file