HoTT/book — pull request #303 by jonsterling (2013-06-21 23:30:27+00:00)
Title: Fixed wee typo in README

Buy ⇒ But