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
Fix typos in comments
#369
Closed
epost
closed
1 year ago
epost
commented
1 year ago
Thanks Jacques! 👍 :)
Thanks Jacques! 👍 :)