issues
search
agda
/
agda-categories
A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
362
stars
68
forks
source link
bicategory renaming
#343
Closed
maxsnew
closed
2 years ago
maxsnew
commented
2 years ago
Fixes #338
Fixes #338