Name		Name	Last commit message	Last commit date
Latest commit History 23 Commits
Categories		Categories
Functors		Functors
clase01		clase01
clase02		clase02
clase03		clase03
clase04		clase04
clase05		clase05
clase06		clase06
clase07		clase07
clase08		clase08
clase09		clase09
clase10		clase10
clase11		clase11
.gitignore		.gitignore
Categories.agda		Categories.agda
Functors.agda		Functors.agda
Library.agda		Library.agda
Naturals.agda		Naturals.agda
README.md		README.md