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)
commita5bf582e13a5089c5cae6063d596bbb825f778a9
tree2b453eec76bd0828df53f3239a03418ecb69c1c7
parent2a9b16291b9d607dac781cb93a6c84221222b510
refactor: reorder examples and validation sections
personal/_posts/2017-07-17-types-as-contracts.md