From 2a699f16741d27f22954d756cd06187228da16cf Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Wed, 25 Oct 2023 16:49:43 +0200
Subject: [PATCH] vault backup: 2023-10-25 16:49:43

---
 Algo/Courses/Chapter 7 - X (exercises).md | 13 ++++++++++++-
 1 file changed, 12 insertions(+), 1 deletion(-)

diff --git a/Algo/Courses/Chapter 7 - X (exercises).md b/Algo/Courses/Chapter 7 - X (exercises).md
index c326c0c..35c1df5 100644
--- a/Algo/Courses/Chapter 7 - X (exercises).md	
+++ b/Algo/Courses/Chapter 7 - X (exercises).md	
@@ -8,4 +8,15 @@
 				0
 			else
 				n + sum(n-1)
-		in sumrc n;;
\ No newline at end of file
+		in sumrc n;;
+val sum : int -> int = <fun>
+
+(*Correction*)
+let sigma f n = 
+	if n<0 then
+		invalid_arg "n<0"
+	else
+		let rec sig = function
+			| 0 -> f0
+			| n -> fn + sig (n-1)
+		in sig n;;
\ No newline at end of file