It might take me six months just to gather together all the sources for this post about the HoTT book. #hott