HoTT/book — pull request #410 by jkominek (2013-07-09 18:44:09+00:00)
Title: typo/grammar fix

the "that" in "more that two data" is almost certainly wrong. i think that "more than two data" might be right for some dialects of english, but a few lines beforehand (847), "pieces of data" is used, so i'm suggesting that. for consistency.