issues
search
agda
/
agda-categories
A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
363
stars
68
forks
source link
refresh key
#429
Closed
HuStmpHrrr
closed
1 month ago
HuStmpHrrr
commented
1 month ago
Closes #428
Closes #428