HoTT/book — pull request #291 by lyda (2013-06-21 12:35:05+00:00)
Title: Misspellings run

Based on:
misspellings $(find * -type f \! -name '*.png' \! -name '*.xcf')

This is a tool I use for spell checking source code. I was curious how
it would do on math/tex. Mostly false positives, but the following
three valid hits.