search

HoTT / book

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

Update basics.tex #1133

Closed prime235711 closed 1 year ago

prime235711 commented 1 year ago

Missing parenthesis

prime235711 commented 1 year ago

This is according to the issue i proposed. https://github.com/HoTT/book/issues/1100

awodey commented 1 year ago

thanks!

mikeshulman commented 1 year ago

Wait a minute, shouldn't this be $(\sm{x:A}P(x))\to A$, not $\sm{x:A}(P(x))\to A$?

prime235711 commented 1 year ago

Oh, you're right. My bad. How should I change that? Should I revert previous merge and resubmit a PR?

mikeshulman commented 1 year ago

Either that, or just submit a new PR that changes it to the correct one.