4 ms·
Agda is a nice language with a good homotopy type theory library based on the univalence axiom called agda-unimath.
by gylterud 3y ago
Agda is a nice language with a good homotopy type theory library based on the univalence axiom called agda-unimath.