expand prior work
authorRalf Jung <post@ralfj.de>
Thu, 16 May 2019 09:44:56 +0000 (11:44 +0200)
committerRalf Jung <post@ralfj.de>
Thu, 16 May 2019 09:44:56 +0000 (11:44 +0200)
commite1e887492ae24f7b0448913b92a401b16b117b87
tree51860e4dbdab6d69e597211d209f96fffacef728
parentbf8063fb1a6c78e1bd8e808b5422e198b3949b62
expand prior work
ralf/_posts/2019-05-15-typeclasses-exponential-blowup.md