search

agda / agda-categories

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

Nno #392

Closed sergey-goncharov closed 1 year ago

sergey-goncharov commented 1 year ago

to resolve https://github.com/agda/agda-categories/issues/391