Tag: do-notation

• Feb 22, 2025

  do-notation

  • Do-Notation
  • Arrow-Notation

• Oct 14, 2024

  Quotienting Do-notation

  • Do-Notation

• Oct 14, 2024

  do-notation for Freyd categories

  • Do-Notation

• Oct 14, 2024

  do-notation for copy-discard-compare categories

  • Do-Notation