refactor: reorder examples and validation sections
authorRalf Jung <post@ralfj.de>
Tue, 18 Jul 2017 20:34:32 +0000 (13:34 -0700)
committerRalf Jung <post@ralfj.de>
Tue, 18 Jul 2017 20:36:28 +0000 (13:36 -0700)
commite39245b273a563180604ae04f69c7d49b007d8a8
tree08ad08e40ee6af976e073299efb14e76fd454949
parent334aed819b1926247741d786ed21b0c43cdf71c4
refactor: reorder examples and validation sections
ralf/_posts/2017-07-17-types-as-contracts.md