GitHub repository: wrrnhttn/agda-cubical-multidimensional
Primary language: Agda
Created: 2019-06-17T17:57:25Z
Description: Multidimensional data in Cubical Agda.