HoTT/book — pull request #754 by Pierre-Yves-Gaillard (2014-12-31 08:58:50+00:00)
Title: Punctuation

Added a period.