Improve 8.1 - Githubissues

math-comp / mcb

Mathematical Components (the Book)

Other

140 stars 25 forks source link

Open amahboubi opened 4 years ago

amahboubi commented 4 years ago

The 1st paragraph in section 8.1 is not clear: clarify the discourse about structure vs interface.