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
attempt to line things up better.
#301
Closed
JacquesCarette
closed
3 years ago
JacquesCarette
commented
3 years ago
No other changes.
No other changes.