/cubical

An experimental library for Cubical Agda

Primary LanguageAgdaOtherNOASSERTION

Watchers

No one’s watching this repository yet.