/agda-quotient-types

Slides explaining cubical Agda quotient types

Primary LanguageTeX

Watchers