Agda code for experimenting with internal models of cubical type theory
Primary LanguageAgda
This repository is not active