A nice short explanation of what HoTT's about twitter.com/apgox/status/9…
View this tweet on twitter.com
This tweet as JSON