From c42e94e329807e5c764e4a15b23d9f3c1c9407bc Mon Sep 17 00:00:00 2001 From: Louis Date: Mon, 4 Sep 2023 17:01:00 +0200 Subject: [PATCH] vault backup: 2023-09-04 17:01:00 --- .obsidian/workspace.json | 12 +++++------ Algo/Séminaire/Chapter 1 - CAML basics.md | 26 ++++++++++++----------- 2 files changed, 20 insertions(+), 18 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 3cda0cb..32fef66 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,7 +13,7 @@ "state": { "type": "markdown", "state": { - "file": "Algo/Séminaire/Chapter 2 - Functions.md", + "file": "Algo/Séminaire/Chapter 1 - CAML basics.md", "mode": "source", "source": false } @@ -85,7 +85,7 @@ "state": { "type": "backlink", "state": { - "file": "Algo/Séminaire/Chapter 2 - Functions.md", + "file": "Algo/Séminaire/Chapter 1 - CAML basics.md", "collapseAll": false, "extraContext": false, "sortOrder": "alphabetical", @@ -102,7 +102,7 @@ "state": { "type": "outgoing-link", "state": { - "file": "Algo/Séminaire/Chapter 2 - Functions.md", + "file": "Algo/Séminaire/Chapter 1 - CAML basics.md", "linksCollapsed": false, "unlinkedCollapsed": true } @@ -125,7 +125,7 @@ "state": { "type": "outline", "state": { - "file": "Algo/Séminaire/Chapter 2 - Functions.md" + "file": "Algo/Séminaire/Chapter 1 - CAML basics.md" } } } @@ -148,10 +148,10 @@ }, "active": "13c9bfe482ec2d42", "lastOpenFiles": [ - "Algo/Séminaire/Introduction.md", "Algo/Séminaire/Chapter 2 - Functions.md", - "Algo/Séminaire/Chapter 1 - CAML basics.md", "Mathématiques/Séminaire/Logics/Logics.md", + "Algo/Séminaire/Chapter 1 - CAML basics.md", + "Algo/Séminaire/Introduction.md", "Algo/Séminaire", "Untitled.canvas", "README.md", diff --git a/Algo/Séminaire/Chapter 1 - CAML basics.md b/Algo/Séminaire/Chapter 1 - CAML basics.md index 4ee4805..687bf51 100644 --- a/Algo/Séminaire/Chapter 1 - CAML basics.md +++ b/Algo/Séminaire/Chapter 1 - CAML basics.md @@ -104,16 +104,16 @@ Error *because x is 1.2 in our current evaluation* - Compatible operator : -. ; +. ; * . ; /. - Booleans: ``bool`` - Can be ``true``or ``false`` -```Ocaml -# let x = 2 and y = 1 in x/y > 1;; -_: bool = true - -# let x = 2 and y = 0 in x/y > 1;; -Exception: Division by zero - -# let x = 2 and y = 0 in y<>0 && x/y> 1;; -_: bool = false -``` + ```Ocaml + # let x = 2 and y = 1 in x/y > 1;; + _: bool = true + + # let x = 2 and y = 0 in x/y > 1;; + Exception: Division by zero + + # let x = 2 and y = 0 in y<>0 && x/y> 1;; + _: bool = false + ``` - Char: `char` @@ -121,6 +121,9 @@ _: bool = false ```Ocaml # 'a'= 'A';; _: bool = false + +# 'a' +- : char = 'a' ``` - String: `string` @@ -134,8 +137,7 @@ _: string = "Hello World" # "abc".[1] _: char = "b" ``` - - +⚠️ Les minuscules passent avant les majuscules ### Comparaison