Multidimensional data in Cubical Agda.
Primary LanguageAgdaMIT LicenseMIT
No one’s star this repository yet.