search

math-comp / mcb

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

Missing space in §1.1.2 #67

Closed rswarbrick closed 5 years ago

rswarbrick commented 5 years ago

There's a missing space after "the" in

This response actually reads nat -> (nat -> nat), as the-> symbol ...

gares commented 5 years ago

Thanks.