Groupoid Infinity

The Groupoid Infinity cubical base library for Agda 2.6.0 (--cubical).

Credits

Name		Name	Last commit message	Last commit date
Latest commit History 64 Commits
Infinity		Infinity
priv		priv
.gitignore		.gitignore
.travis.yml		.travis.yml
README.md		README.md