Tag: do-notation

• Apr 14, 2025

  do-notation for Freyd categories

  • Do-Notation

• Apr 14, 2025

  do-notation for copy-discard-compare categories

  • Do-Notation

• Apr 14, 2025

  arrow notation

  • Do-Notation
  • Arrow-Notation

• Oct 14, 2024

  Quotienting Do-notation

  • Do-Notation