/gen-cart

A Unifying Cartesian Cubical Set Model

Primary LanguageAgda

Watchers