do-notation for copy-discard-compare categories

Last updated Oct 14, 2024

• Do notation

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