search

isovector / certainty-by-construction

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

Fix typos in Chapter 1 #6

Closed SlimTim10 closed 10 months ago

SlimTim10 commented 10 months ago

Hi,

I noticed some typos while reading through the first chapter and figured I would fix what i found along the way. As far as I could tell, only one of these was slightly ambiguous (noted in the commit message). I hope this helps!

isovector commented 10 months ago

Excellent, thanks so much for the PR and for your keen eyes! It's amazing how hard it is to catch all of the typos!

SlimTim10 commented 10 months ago

My pleasure! Thanks for writing such a great book! I'll continue to submit any fixes I find while reading, if you don't mind.