do-notation for copy-discard-compare categories

Last updated Apr 14, 2025

• Do notation

Tags: arrow notation, copy-discard-compare category.