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)
commit2e8c11d70924f0a32418c14f5936e4e43e3e8d63
treed744e3c6bf708351927a8c88f8be02f346d27689
parentf0a59e5cee2367b8134bd76360c5a68fc8cddb45
fix some typos
ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md