HoTT/book — pull request #709 by spearman (2014-09-16 01:01:01+00:00)
Title: Fix typo in appendix

the -> they