/cubical-topos-experiments

Agda code for experimenting with internal models of cubical type theory

Primary LanguageAgda

No issues in this repository yet.