I think I'm actually going to read HoTT. It certainly looks approachable.
View this tweet on twitter.com
This tweet as JSON