HoTT/book — pull request #470 by mikeshulman (2013-09-13 23:19:42+00:00)
Title: Left-to-right

close #445