3 ms·Why more useful than non-homotopy type theory?by orangea 4y agoWhy more useful than non-homotopy type theory?remexre 4y agoIs there a non-homotopy type theory with univalence?