/agda-cubical-multidimensional

Multidimensional data in Cubical Agda.

Primary LanguageAgdaMIT LicenseMIT

Stargazers

No one’s star this repository yet.