Things I've written about:

• 2025-04-01: Dependent types suck actually
• 2025-03-30: A short excerpt on pattern unification
• 2025-03-27: Welcome back.
• 2023-06-17: Hi, world.

dark mode?

back?