fix some typos
authorRalf Jung <post@ralfj.de>
Wed, 7 Jun 2017 04:17:09 +0000 (21:17 -0700)
committerRalf Jung <post@ralfj.de>
Wed, 7 Jun 2017 04:17:09 +0000 (21:17 -0700)
commit9a8ca28b6d48215aa545d799c65b604f608ee5d8
treecddd4e4a0cc7390549c9b6039def0c789043a770
parent8e0334c246756e88fd5c68b9719acf1a400cc727
fix some typos
personal/_posts/2017-06-06-MIR-semantics.md