agda-categories icon indicating copy to clipboard operation
agda-categories copied to clipboard

Published 20 hours ago • verified publisher icon agda

Move Categories.Category.Diagram.Span to Categories.Diagram.Span

Open Taneb opened this issue 3 years ago • 0 comments

Its current location is inconsistent with the rest of the library

Taneb avatar Oct 11 '22 12:10 Taneb