From 583d5226c041867f7ccf82928d34551723cd0cab Mon Sep 17 00:00:00 2001 From: Louis Date: Tue, 12 Sep 2023 14:09:42 +0200 Subject: [PATCH] vault backup: 2023-09-12 14:09:42 --- .obsidian/workspace.json | 10 +++++----- Algo/Séminaire/Exercices seminaire.md | 1 + 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json index 1c4441c..5cb2bfd 100644 --- a/.obsidian/workspace.json +++ b/.obsidian/workspace.json @@ -13,7 +13,7 @@ "state": { "type": "markdown", "state": { - "file": "Algo/Séminaire/Chapter 3 - Case analysis.md", + "file": "Algo/Séminaire/Exercices seminaire.md", "mode": "source", "source": false } @@ -85,7 +85,7 @@ "state": { "type": "backlink", "state": { - "file": "Algo/Séminaire/Chapter 3 - Case analysis.md", + "file": "Algo/Séminaire/Exercices seminaire.md", "collapseAll": false, "extraContext": false, "sortOrder": "alphabetical", @@ -102,7 +102,7 @@ "state": { "type": "outgoing-link", "state": { - "file": "Algo/Séminaire/Chapter 3 - Case analysis.md", + "file": "Algo/Séminaire/Exercices seminaire.md", "linksCollapsed": false, "unlinkedCollapsed": true } @@ -125,7 +125,7 @@ "state": { "type": "outline", "state": { - "file": "Algo/Séminaire/Chapter 3 - Case analysis.md" + "file": "Algo/Séminaire/Exercices seminaire.md" } } } @@ -148,8 +148,8 @@ }, "active": "00ae67f71d1252f8", "lastOpenFiles": [ - "Algo/Séminaire/Exercices seminaire.md", "Algo/Séminaire/Chapter 3 - Case analysis.md", + "Algo/Séminaire/Exercices seminaire.md", "Algo/Séminaire/Weird stuff.md", "Untitled", "Algo/Séminaire/Chapter 1 - CAML basics.md", diff --git a/Algo/Séminaire/Exercices seminaire.md b/Algo/Séminaire/Exercices seminaire.md index 0949473..d604fce 100644 --- a/Algo/Séminaire/Exercices seminaire.md +++ b/Algo/Séminaire/Exercices seminaire.md @@ -222,6 +222,7 @@ let apm = function | (x, 0) -> 1 | (x, y) -> 0 | _ -> invalid_arg "Error";; +val amp: int*int -> int = let strange = function | (0, n) -> 0