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)
commit371f14d738ae80bf57673d564b812953808a1f58
tree7f1b3f79e1105c230fef9cac5bb88aeb4cef3ebd
parent13b151012fadb1034d0747212555e31cab80f9cd
fix some typos
personal/_posts/2019-05-15-typeclasses-exponential-blowup.md