Some thoughts about semisimplicial types in type theory
Primary LanguageAgda
No one’s star this repository yet.