2 ms·Because homotopy type theory is a cutting-edge area of research for type theorists and PL geeks.by anon291 4y agoBecause homotopy type theory is a cutting-edge area of research for type theorists and PL geeks.