Closed mzeuner closed 6 months ago
Finishing the draft PR (https://github.com/agda/cubical/pull/1081) with @MatthiasHu.
Finishing the draft PR (https://github.com/agda/cubical/pull/1081) with @MatthiasHu.