All Posts

• On Well-Founded Induction Mar 24, 2026
• Semantics of STLC in Agda Mar 20, 2026
• The Halting Problem (part 2) Dec 7, 2020
• The Halting Problem (part 1) Dec 7, 2020
• On Characterizing Nat in Agda Oct 6, 2020
• Locally Nameless Oct 27, 2019