3 ms·
What Is Homotopy Type Theory Good For? (2012)
- onecommentman 6y agoThis article, and the blog in general, makes me smile. It’s like an American, living in a foreign country that speaks a non-Indo-European language, hearing someone speaking an Indo-European language that they don’t know. You don’t understand most of it, but you understand a little and feel confident you could figure out more with some ease if you read their posts. Exotic yet homey at the same time.