example typos and generally improve ref example
authorRalf Jung <post@ralfj.de>
Tue, 18 Jul 2017 17:59:37 +0000 (10:59 -0700)
committerRalf Jung <post@ralfj.de>
Tue, 18 Jul 2017 18:04:56 +0000 (11:04 -0700)
commit2a9b16291b9d607dac781cb93a6c84221222b510
tree1fc65976af19c2e595ed9406c49d5a905a0f1c06
parent5dd128f20c9e3c70082aaacb91d26a2e61a9ea2c
example typos and generally improve ref example
personal/_posts/2017-07-17-types-as-contracts.md