TAPL 1, 3, 5, 6: Untyped lambda calculus ⏳ 2024-06-18 ✅ 2024-06-18 TAPL 8, 9, 11: Simply-typed lambda calculus ⏳ 2024-06-18 ✅ 2024-06-18