typo
authorRalf Jung <post@ralfj.de>
Thu, 16 May 2019 16:40:31 +0000 (18:40 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 16 May 2019 16:40:31 +0000 (18:40 +0200)
commit8993fbb2438379e8facc45a76d47ceb65cf6d76e
tree08ddcb75e064300ee04e9b867a961078d419cf63
parentcbad733b702778165eba5750a062645b2df2732e
typo
personal/_posts/2019-05-15-typeclasses-exponential-blowup.md