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)
commit290953129a0985db864021b1bad4a43bd8ba1284
tree32132a222272d5b0d4fa0e666ffbfe1b48fcd9c4
parentcce059c41f3db0d8a1d551cde49f500344682bae
fix some typos
personal/_posts/2017-06-06-MIR-semantics.md