4 ms·The Homotopy Type Theory folks are way ahead of you on that one.by SAI_Peregrinus 9y agoThe Homotopy Type Theory folks are way ahead of you on that one.