search

HoTT / book

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

fix syntax of errata merge, close #1144 #1146

Closed mikeshulman closed 1 year ago

mikeshulman commented 1 year ago

Hah, this is better, but apparently the name of that merge commit is very long, for some reason it starts with public-release- unlike any of the others. I guess we fix that manually.