math-comp / mcb

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

issues in chapter 1 #62

Closed pmundkur closed 6 years ago

pmundkur commented 6 years ago

In section sec:othercontainers, 'pointed version of A' is a bit sudden, since 'pointed' is not defined. Also, the sentence 'This may be a drawback, consequence of representing tuples as nested pairs.' reads awkwardly.