13 lines
358 B
Markdown
13 lines
358 B
Markdown
---
|
|
title: "2024-06-26"
|
|
---
|
|
|
|
- [x] Anki Flashcards
|
|
- [x] KoL
|
|
- [x] OGS
|
|
- [ ] Sheet Music (10 min.)
|
|
- [ ] Korean (Read 1 Story)
|
|
|
|
* Prove basic theorems on functions (chapter 3 of "Elements of Set Theory").
|
|
* Notes on substitution being well defined with respect to $\beta$-reductions.
|
|
* Finished chapter 5 ("Possible Worlds") of "An Introduction to Ontology". |