HoTT / book

A textbook on informal homotopy type theory
2.03k stars 359 forks source link

make commit name shorter #1147

Closed mikeshulman closed 1 year ago

mikeshulman commented 1 year ago

That's better. Although it's still running a bit past the right-hand margin, maybe because the widths of the columns were set when the commit numbers were smaller? Not sure if that's worth mucking with.