Tag: do-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

• Oct 7, 2024

  do-notation

  • Do-Notation
  • Arrow-Notation