Search
❯
Jul 24, 20251 min read
Tags: Type theory, do-notation - theory of symmetric monoidal categories.