diff --git a/.obsidian/app.json b/.obsidian/app.json index bd06f49..6fd1af8 100644 --- a/.obsidian/app.json +++ b/.obsidian/app.json @@ -1,3 +1,9 @@ { - "mobilePullAction": "editor:save-file" + "mobilePullAction": "editor:save-file", + "pdfExportSettings": { + "pageSize": "A4", + "landscape": false, + "margin": "0", + "downscalePercent": 100 + } } \ No newline at end of file diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 058381a..dade1a3 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -148,10 +148,14 @@ }, "active": "13c9bfe482ec2d42", "lastOpenFiles": [ - "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/Exercices sémaines.md", "Algo/Séminaire/Introduction.md", + "Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg", + "Algo/Séminaire/assets", + "Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg", + "Algo/Séminaire/Chapter 1 - CAML basics.md", + "Algo/Séminaire/Chapter 2 - Functions.md", + "Mathématiques/Séminaire/Logics/Logics.md", "Algo/Séminaire", "Untitled.canvas", "README.md", @@ -165,8 +169,6 @@ "Mathématiques/Séminaire/Logics/Pasted image 20230904100125.png", "Mathématiques/Séminaire/Logics/Pasted image 20230904095003.png", "Mathématiques/Séminaire/Logics/Pasted image 20230904094230.png", - "Mathématiques/Séminaire/Logics/Pasted image 20230904094156.png", - "Mathématiques/Séminaire/Logics/Pasted image 20230904093718.png", "2023-09-01.md", "Algo", "Mathématiques", diff --git a/Algo/Séminaire/Chapter 1 - CAML basics.md b/Algo/Séminaire/Chapter 1 - CAML basics.md index a975174..195e890 100644 --- a/Algo/Séminaire/Chapter 1 - CAML basics.md +++ b/Algo/Séminaire/Chapter 1 - CAML basics.md @@ -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 diff --git a/Algo/Séminaire/Exercices sémaines.md b/Algo/Séminaire/Exercices sémaines.md new file mode 100644 index 0000000..56a22e2 --- /dev/null +++ b/Algo/Séminaire/Exercices sémaines.md @@ -0,0 +1,4 @@ +## 2.3 +![[69E2987C-209A-48CD-8964-5A60462966E5.jpg]] + +![[F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg]] \ No newline at end of file diff --git a/Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg b/Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg new file mode 100644 index 0000000..e58398b Binary files /dev/null and b/Algo/Séminaire/assets/69E2987C-209A-48CD-8964-5A60462966E5.jpg differ diff --git a/Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg b/Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg new file mode 100644 index 0000000..a4e3342 Binary files /dev/null and b/Algo/Séminaire/assets/F1D2AA19-E790-4022-AFFF-F778EAB28AB5.jpg differ