HoTT/book

typo in 8.10

Closed this issue · 2 comments

"our calcluation of \pi_4(S3) is constructive"
=> "our calculation of \pi_4(S3) is constructive"

He he, nothing better to do on a weekend than to fix typos :-)

haha