fix some typos
authorRalf Jung <post@ralfj.de>
Thu, 10 Jun 2021 08:00:29 +0000 (10:00 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 10 Jun 2021 08:00:29 +0000 (10:00 +0200)
commitb1dbe68eb89a95c60929fab8e9e7a53dc0ae5126
tree8a91b56420c3651486cbe36fd1dc5b2c3ba3f5fe
parent0052819cd5eef316e5958384417d85d7655d8b96
fix some typos
personal/_posts/2019-05-15-typeclasses-exponential-blowup.md