tweaks
authorRalf Jung <post@ralfj.de>
Wed, 19 Jul 2017 04:27:31 +0000 (21:27 -0700)
committerRalf Jung <post@ralfj.de>
Wed, 19 Jul 2017 04:27:31 +0000 (21:27 -0700)
commit55fa09eeadf83e0361a84967571f99bc80c49be0
tree616998623b7160b249fe83fcd2186f7fba85e2d7
parenta5bf582e13a5089c5cae6063d596bbb825f778a9
tweaks
personal/_posts/2017-07-17-types-as-contracts.md