From 910b63a9a459e5ec509ebc0bb59b025201173c68 Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Thu, 14 Sep 2023 16:32:40 +0200
Subject: [PATCH] vault backup: 2023-09-14 16:32:40

---
 .obsidian/workspace.json                  | 6 +++---
 Algo/Séminaire/Chapter 2 - Functions.md   | 1 +
 Algo/Séminaire/Chapter 5 - Recursivity.md | 4 +++-
 3 files changed, 7 insertions(+), 4 deletions(-)

diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index f14aa8a..3da5294 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -158,20 +158,20 @@
   },
   "active": "9e7be1904dfd4451",
   "lastOpenFiles": [
+    "Algo/Séminaire/Chapter 1 - CAML basics.md",
+    "Algo/Séminaire/Chapter 2 - Functions.md",
+    "Algo/Séminaire/Chapter 5 - Recursivity.md",
     "Algo/Séminaire/Exercices seminaire.md",
     "Algo/Séminaire/assets/functions-meme.jpg",
-    "Algo/Séminaire/Chapter 5 - Recursivity.md",
     "Algo/Séminaire/Chapter 4 - A bit of imperative.md",
     "Algo/Séminaire/Chapter 3 - Case analysis.md",
     "Algo/Séminaire/assets/unitaire-meme.png",
     "Algo/Séminaire/Introduction.md",
-    "Algo/Séminaire/Chapter 2 - Functions.md",
     "Algo/Séminaire/assets/fact function response.png",
     "Algo/Séminaire/assets/recursivite-meme.png",
     "Pasted image 20230912155138.png",
     "Algo/Chapter 0 - A bit of imperative/0.1 - Print.md",
     "Algo/Séminaire/Untitled",
-    "Algo/Séminaire/Chapter 1 - CAML basics.md",
     "Mathématiques/Séminaire/Logics/Logics.md",
     "Algo/Chapter 0 - A bit of imperative",
     "README.md",
diff --git a/Algo/Séminaire/Chapter 2 - Functions.md b/Algo/Séminaire/Chapter 2 - Functions.md
index 2136c70..2a400f8 100644
--- a/Algo/Séminaire/Chapter 2 - Functions.md	
+++ b/Algo/Séminaire/Chapter 2 - Functions.md	
@@ -1,3 +1,4 @@
+<center><img src="https://gitea.louisgallet.fr/lgallet/epicours/raw/branch/main/Algo/S%C3%A9minaire/assets/functions-meme.jpg " width=auto height=400 /> </center>
 ## 2.1. One parameter function
 ```Ocaml
 # let successor x=x+1;;
diff --git a/Algo/Séminaire/Chapter 5 - Recursivity.md b/Algo/Séminaire/Chapter 5 - Recursivity.md
index a714262..3197c6b 100644
--- a/Algo/Séminaire/Chapter 5 - Recursivity.md	
+++ b/Algo/Séminaire/Chapter 5 - Recursivity.md	
@@ -84,9 +84,11 @@ let rec odd n =
 	else
 		even (n-1);;
 
-let rec even n =
+and even n =
 	if n = 0 then
 		true
 	else
 		add (n-1);;
+val add : int -> bool = <fun>
+val even : int -> bool = <fun>
 ```
\ No newline at end of file