vault backup: 2023-09-04 23:08:46

2023-09-04 23:08:46 +02:00
parent d619590e7b
commit 937fcab99d
6 changed files with 19 additions and 7 deletions
--- a/Algo/Séminaire/Chapter
+++ b/Algo/Séminaire/Chapter
@ -44,7 +44,7 @@ val x:int = 3 *our current env is x -> 3*
 val y:int = 1 *our current env is x -> 3 ; y -> 1*

 # let x = 2
-_:bool = false
+val x : int = 2

 # x;;
 _: int = 2