2 posts in total

---

2026

08-28

Understanding Lean's Type and Prop Through Python Metaclasses

2022

10-28

Python in a Functional Style: Closures, Generators, and Coroutines