4 ms·Homotopy Type Theory: A synthetic approach to higher equalities (Draft) [pdf]2 points by igravious 11y ago