From d44ec0260ee6145f94749a267efbb8b66cc4a14b Mon Sep 17 00:00:00 2001
From: Louis <me@louisgallet.fr>
Date: Mon, 11 Sep 2023 16:50:32 +0200
Subject: [PATCH] vault backup: 2023-09-11 16:50:32

---
 Algo/Séminaire/Chapter 3 - Case analysis.md | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/Algo/Séminaire/Chapter 3 - Case analysis.md b/Algo/Séminaire/Chapter 3 - Case analysis.md
index 3f49d9a..c2ac486 100644
--- a/Algo/Séminaire/Chapter 3 - Case analysis.md	
+++ b/Algo/Séminaire/Chapter 3 - Case analysis.md	
@@ -162,3 +162,8 @@ val avg : int -> int -> int = <fun>
 ```
 
 ### Filtering several values
+```Ocaml
+# let and_p a b = match (a,b) with 
+	| (true, true) -> true
+	| _ -> false;;
+val and_p : bool -> bool -> bool = <fun>
\ No newline at end of file