diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index ade88d5..bc0601c 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,7 +13,7 @@ "state": { "type": "markdown", "state": { - "file": "Algo/Séminaire/Chapter 1 - CAML basics.md", + "file": "Algo/Séminaire/Chapter 3 - Case analysis.md", "mode": "source", "source": false } @@ -85,7 +85,7 @@ "state": { "type": "backlink", "state": { - "file": "Algo/Séminaire/Chapter 1 - CAML basics.md", + "file": "Algo/Séminaire/Chapter 3 - Case analysis.md", "collapseAll": false, "extraContext": false, "sortOrder": "alphabetical", @@ -102,7 +102,7 @@ "state": { "type": "outgoing-link", "state": { - "file": "Algo/Séminaire/Chapter 1 - CAML basics.md", + "file": "Algo/Séminaire/Chapter 3 - Case analysis.md", "linksCollapsed": false, "unlinkedCollapsed": true } @@ -125,7 +125,7 @@ "state": { "type": "outline", "state": { - "file": "Algo/Séminaire/Chapter 1 - CAML basics.md" + "file": "Algo/Séminaire/Chapter 3 - Case analysis.md" } } }, @@ -158,12 +158,12 @@ }, "active": "9e7be1904dfd4451", "lastOpenFiles": [ - "Algo/Séminaire/assets/basics-meme.png", - "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/Chapter 2 - Functions.md", "Algo/Séminaire/Chapter 1 - CAML basics.md", + "Algo/Séminaire/Chapter 5 - Recursivity.md", + "Algo/Séminaire/assets/basics-meme.png", + "Algo/Séminaire/Chapter 4 - A bit of imperative.md", + "Algo/Séminaire/Chapter 3 - Case analysis.md", "Algo/Séminaire/Exercices seminaire.md", "Algo/Séminaire/assets/functions-meme.jpg", "Algo/Séminaire/assets/unitaire-meme.png", @@ -185,7 +185,6 @@ "Mathématiques/Séminaire/Logics/Pasted image 20230904102817.png", "Mathématiques/Séminaire/Logics/Pasted image 20230904101446.png", "Mathématiques/Séminaire/Logics", - "Mathématiques/Séminaire/Logics/Pasted image 20230904101721.png", "Mathématiques/Séminaire", "2023-09-01.md", "Algo", diff --git a/Algo/Séminaire/Chapter 1 - CAML basics.md b/Algo/Séminaire/Chapter 1 - CAML basics.md index 7487392..7e1aa8d 100644 --- a/Algo/Séminaire/Chapter 1 - CAML basics.md +++ b/Algo/Séminaire/Chapter 1 - CAML basics.md @@ -1,3 +1,6 @@ + +
+ CAML is a categorical abstract machine language. It is strongly typed. It was created by INRIA in 1984. ## 1.1. General idea