Geeks
myuon
/
agda-cate
Category Theory in Agda
Primary Language
Agda
MIT License
MIT
agda-cate GitHub
Markdown
Readme
0
Issues
9
Stargazers
6
Watchers
No issues in this repository yet.