Name		Name	Last commit message	Last commit date
Latest commit History 16 Commits
html @ 40e97f3		html @ 40e97f3
src		src
.gitignore		.gitignore
.gitmodules		.gitmodules
Everything.agda		Everything.agda
LICENSE		LICENSE
README.md		README.md

Repository files navigation

Agda-Cate

html

https://myuon.github.io/agda-cate/Everything.html

About

Category Theory in Agda

Report repository

Releases

No releases published

Packages

Contributors

Languages

Agda 100.0%