HOME
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