issues
search
pcapriotti
/
agda-categories
Category theory and algebra
27
stars
3
forks
source link
readme
agda-categories
Basic categories and algebra in HoTT.
Dependencies:
agda-base