/agda-cubical-multidimensional

Multidimensional data in Cubical Agda.

Primary LanguageAgdaMIT LicenseMIT

Watchers