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

Repository files navigation

Groupoid Infinity

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

Credits

Maxim Sokhatsky
Andrea Vezzosi
Anders Mörtberg

About

Groupoid Infinity cubical base library for Agda

groupoid.space/mltt/types/

Report repository

Releases

No releases published

Packages

Contributors

Languages

Agda 100.0%