All Posts

• 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