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)
commit8de1d5def17a519c730931e44207ccdb228b286d
tree45453debf7e966401ccfe10e1ea18577e9dd2cb7
parente39245b273a563180604ae04f69c7d49b007d8a8
tweaks
ralf/_posts/2017-07-17-types-as-contracts.md