Grammar fixes#59

w3irdrobot wants to merge 5 commits intotnballo:maintnballo/high-assurance-rust:mainfrom

w3irdrobot:grammar-fixesw3irdrobot/high-assurance-rust:grammar-fixesCopy head branch name to clipboard