What Is Homotopy Type Theory Good For? (2012) | Hacker News Reader