notebook/notes/_journal/2024-06/2024-06-03.md

title
2024-06-03

• Anki Flashcards
• KoL
• OGS
• Sheet Music (10 min.)
• Korean (Read 1 Story)

• Add notes on lambda-calculus/index#Syntactic Identity. Relate this concept to Lean's syntactic equality.