fix: typos - Githubissues

hwayne / learntla-v2

Learn TLA+ for free! No prior experience necessary!

https://www.learntla.com

Other

185 stars 39 forks source link

fix: typos #22

Closed jmg-duarte closed 2 years ago

jmg-duarte commented 2 years ago

It also removes some trailing whitespace, if you want I can make the change only be the typos. For reference:

miust -> must (https://github.com/hwayne/learntla-v2/pull/22/files#diff-cf16a1a84b8a56327cb824e4f04197c7102386c0e4a86958911c445185875886L108-R108)
losting -> losing (https://github.com/hwayne/learntla-v2/pull/22/files#diff-b654c7171df8af611b61e69b8ac2a7557ea077d2a35f3b607641b0feb6a3c975L30-R30)
"put put" -> "put" & ""Evaluate Constant Expression Box"" -> ""Evaluate Constant Expression" Box" (https://github.com/hwayne/learntla-v2/pull/22/files#diff-992539f166e285f30638a8033484b7456c74c2ea601d6000ded772191500a4ebL95-R95)