Code

Remove extraneous up-to-iso argument#445

Code

Merged

JacquesCarette merged 1 commit intoagda:masteragda/agda-categories:masterfrom jacquescomeaux:pushout-up-to-iso-fixjacquescomeaux/agda-categories:pushout-up-to-iso-fixCopy head branch name to clipboardDec 10, 2024

+2-2

Commits

Commits on Dec 7, 2024

• Remove extraneous up-to-iso argument

  jacquescomeaux

  committed
  1ac62b0

  Copy full SHA for 1ac62b0