Search
❯
May 02, 20251 min read
Slides based on Towards a Formal Theory of Graded Monads (Fujii, Katsumata, Melliès).