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)
commit3c9b573950d4bf783f06094f785167fd95c976e6
treeaf5cd1d724660dbe8a99e7511855cb885faf0b98
parentaee9ae44caeab516d361c144e0252d023ca3d586
fix some typos
ralf/_posts/2017-06-06-MIR-semantics.md