2 ms·Though note that HoTT is not the only approach to type theory; there are many others.by Smaug123 10y agoThough note that HoTT is not the only approach to type theory; there are many others.