Reasonably Polymorphic
- 2026-08-24: review2
- 2026-08-21: Code-Reviewing My First Monad Implementation
- 2026-01-02: An Algebraic Theory of Music
- 2025-12-04: Struggling Towards an Algebraic Theory of Music
- 2025-10-14: Arrows to Arrows, Categories to Queries
- 2025-10-09: Theorems for Free Redux
- 2025-05-05: Analyzing API Design via Algebraic Laws
- 2025-05-04: Using Obscure Graph Theory to solve PL Problems
- 2025-02-15: Bidirectional Instance Contexts
- 2025-01-24: Use Monoids for Construction
End of feed.