HoTT/book — pull request #293 by pageman (2013-06-21 13:45:55+00:00)
Title: added http://

the hyperlink above this uses http://