search

isovector / certainty-by-construction

Source material for Certainty by Construction
https://leanpub.com/certainty-by-construction/
36 stars 9 forks source link

Some further typos #13

Closed joha2 closed 9 months ago

joha2 commented 9 months ago

Thank you for merging parts of my last PR. In the meanwhile I continued reading and found some other typos. Although for some of the typos I was not sure whether my fix is correct, maybe the commits still help :)

isovector commented 9 months ago

Amazing, thank you! Some of these are particularly embarrassing :)

joha2 commented 9 months ago

I think in a project of this size and deepness, a few typos are not emberassing at all :)