Notes about my work
Notes about my talks
Notes on my teaching philosophy and experience
posts related to books
Introducing the Agda Universal Algebra Library
Exams in Group Theory, Ring Theory, Complex Analysis, and Real Analysis
I don't always use recursion; but when I do, I don't always use recursion.
posts related to computing and programming languages