/cubical-experiments

Experiments with agda --cubical

Primary LanguageAgda

This repository is not active