vault backup: 2023-09-05 21:31:34

Algo/Séminaire/Chapter 1 - CAML basics.md

@@ -11,7 +11,7 @@ It's a simple language to write.
 - **;;** is the end of the line
 
 ```Ocaml
-_: int=3 (*That a Caml answer to the previus program*)
+_: int=3 (*That a Caml answer to the previous program*)
 ```
 
 ```Ocaml

Algo/Séminaire/Exercices sémaines.md

@@ -81,8 +81,23 @@ if a == b then
 else false
 
 (*logical or*)
-if a == b then
+if a && b then
 	true
-else if a && if !b
+else if a && not b then
+	true
+else if not a && b then
+	true
+else 
+	false
+
+(*logical implication*)
+if a && b then
+	true
+else if not a && b then
+	true
+else if not a && not b then
+	true
+else 
+	false
 ```