From 6b26e89d3c997bd131ac108c6faef02fa53b425d Mon Sep 17 00:00:00 2001 From: Joshua Potter Date: Fri, 24 May 2024 03:39:56 -0600 Subject: [PATCH] Move lambda calculus notes. --- .../plugins/obsidian-to-anki-plugin/data.json | 4 +- notes/_journal/2024-05-24.md | 9 +++++ notes/_journal/{ => 2024-05}/2024-05-23.md | 3 +- .../{λ-Calculus.md => lambda-calculus.md} | 38 +++++++++++++++++++ 4 files changed, 51 insertions(+), 3 deletions(-) create mode 100644 notes/_journal/2024-05-24.md rename notes/_journal/{ => 2024-05}/2024-05-23.md (80%) rename notes/programming/{λ-Calculus.md => lambda-calculus.md} (83%) diff --git a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json index 8badf81..ba90e22 100644 --- a/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json +++ b/notes/.obsidian/plugins/obsidian-to-anki-plugin/data.json @@ -463,8 +463,8 @@ "_journal/2024-05-22.md": "da0364a086746087236eb8afd5770ca3", "_journal/2024-05/2024-05-21.md": "f20e4dd94ea22fcb26049de128bc944e", "set/algebra.md": "a6877ceca952c417b52ea637716addbf", - "programming/λ-Calculus.md": "678d665f0c783a47d33b659a6980804b", - "_journal/2024-05-23.md": "8b614b7fb2ed72a0372756a576238439", + "programming/λ-Calculus.md": "bf36bdaf85abffd171bb2087fb8228b2", + "_journal/2024-05-23.md": "9d9106a68197adcee42cd19c69d2f840", "_journal/2024-05/2024-05-22.md": "5b4473b7c6483f3aa8727ad0a12f0408" }, "fields_dict": { diff --git a/notes/_journal/2024-05-24.md b/notes/_journal/2024-05-24.md new file mode 100644 index 0000000..063297d --- /dev/null +++ b/notes/_journal/2024-05-24.md @@ -0,0 +1,9 @@ +--- +title: "2024-05-24" +--- + +- [ ] Anki Flashcards +- [x] KoL +- [ ] Sheet Music (10 min.) +- [ ] Go (1 Life & Death Problem) +- [ ] Korean (Read 1 Story) \ No newline at end of file diff --git a/notes/_journal/2024-05-23.md b/notes/_journal/2024-05/2024-05-23.md similarity index 80% rename from notes/_journal/2024-05-23.md rename to notes/_journal/2024-05/2024-05-23.md index e7b63aa..e0b2667 100644 --- a/notes/_journal/2024-05-23.md +++ b/notes/_journal/2024-05/2024-05-23.md @@ -9,4 +9,5 @@ title: "2024-05-23" - [ ] Korean (Read 1 Story) * Watched [Lecture #10 - Sorting & Aggregation Algorithms](https://www.youtube.com/watch?v=CMzf9Az1vl4) on databases. -* Work through chapter 1 of "Lambda-Calculus and Combinators, an Introduction". \ No newline at end of file +* Work through chapter 1 of "Lambda-Calculus and Combinators, an Introduction". +* Briefly played around further with different Flutter constructs. \ No newline at end of file diff --git a/notes/programming/λ-Calculus.md b/notes/programming/lambda-calculus.md similarity index 83% rename from notes/programming/λ-Calculus.md rename to notes/programming/lambda-calculus.md index ee4a0bb..ba942cc 100644 --- a/notes/programming/λ-Calculus.md +++ b/notes/programming/lambda-calculus.md @@ -189,6 +189,44 @@ Reference: Hindley, J Roger, and Jonathan P Seldin. “Lambda-Calculus and Combi END%% +%%ANKI +Basic +How is a constant function returning $y$ denoted in $\lambda$-calculus? +Back: $\lambda x. y$ +Reference: Hindley, J Roger, and Jonathan P Seldin. “Lambda-Calculus and Combinators, an Introduction,” n.d. [https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf](https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf). + +END%% + +%%ANKI +Basic +How is expression $MNPQ$ written with parentheses reintroduced? +Back: $(((MN)P)Q)$ +Reference: Hindley, J Roger, and Jonathan P Seldin. “Lambda-Calculus and Combinators, an Introduction,” n.d. [https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf](https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf). + +END%% + +%%ANKI +Cloze +By convention, parentheses in $\lambda$-calculus are {left}-associative. +Reference: Hindley, J Roger, and Jonathan P Seldin. “Lambda-Calculus and Combinators, an Introduction,” n.d. [https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf](https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf). + +END%% + +%%ANKI +Basic +How is expression $\lambda x. \lambda y. MN$ written with parentheses reintroduced? +Back: $(\lambda x. (\lambda y. (MN)))$ +Reference: Hindley, J Roger, and Jonathan P Seldin. “Lambda-Calculus and Combinators, an Introduction,” n.d. [https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf](https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf). + +END%% + +%%ANKI +Cloze +Expression $(MN)$ is interpreted as applying {$M$} to {$N$}. +Reference: Hindley, J Roger, and Jonathan P Seldin. “Lambda-Calculus and Combinators, an Introduction,” n.d. [https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf](https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf). + +END%% + ## Bibliography * Hindley, J Roger, and Jonathan P Seldin. “Lambda-Calculus and Combinators, an Introduction,” n.d. [https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf](https://www.cin.ufpe.br/~djo/files/Lambda-Calculus%20and%20Combinators.pdf). \ No newline at end of file