Geeks
TimRichter
/
agda-categories
Category theory and algebra
Primary Language
Agda
agda-categories GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
jhcloos
TimRichter