search

math-comp / mcb

Mathematical Components (the Book)
Other
140 stars 25 forks source link

Typo in Section 6.2 #117

Open QinshiWang opened 3 years ago

QinshiWang commented 3 years ago

In Section 6.2 (Type inference by example) on p. 117, id and idfun are interleavingly used as names of the same function. Only one of them should be used for clarity.

Source code: https://github.com/math-comp/mcb/blob/master/tex/chTypeInference.tex#L171-L230

gares commented 3 years ago

Thanks