Home

Welcome to my blog, where I write about functional programming, type theory, and software engineering in general.

Posts

• Structural Induction - October 23, 2024
• Folding Left and Right - October 23, 2024

…or you can find more in the archives.