search

agda / agda-categories

A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
362 stars 68 forks source link

Move Categories.Category.Diagram.Span to Categories.Diagram.Span #357

Open Taneb opened 1 year ago

Taneb commented 1 year ago

Its current location is inconsistent with the rest of the library