issues
search
agda
/
agda-categories
A new Categories library for Agda
https://agda.github.io/agda-categories
MIT License
367
stars
68
forks
source link
Update README.md to reflect current versions
#293
Closed
turion
closed
3 years ago