/home/
/resume/
/blog/
functional programming
2024-10-01 - Laws, Law Tests, and Implementing Typeclasses
2024-09-10 - How to Find the Right Cats Import (And Why They're Like That)
2024-09-27 - Comonads and Authentication as Context
2024-09-19 - Fallbacks as Implicit Ordering