ecavallo/cubical-topos-experiments
Agda code for experimenting with internal models of cubical type theory
Agda
No issues in this repository yet.
Agda code for experimenting with internal models of cubical type theory
Agda
No issues in this repository yet.