search

HoTT / book

A textbook on informal homotopy type theory
2.04k stars 360 forks source link

Errata PDF unreadable #1144

Closed christopherastone closed 1 year ago

christopherastone commented 1 year ago

The column spacing in the errata PDF (caused by an overly wide "Fixed in" entry) pushes explanations past the right edge of the page.