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