new post on evaluating types-as-contracts
authorRalf Jung <post@ralfj.de>
Fri, 11 Aug 2017 23:02:09 +0000 (16:02 -0700)
committerRalf Jung <post@ralfj.de>
Fri, 11 Aug 2017 23:02:09 +0000 (16:02 -0700)
commit81d020bc303e970d1eaebf302bb829dafeb6e2ce
treecb348df7b716ed81104f04c50a25810e03360925
parent1ce84a5da4500d18c029c8d38fbe1d9cd5f98ee8
new post on evaluating types-as-contracts
ralf/_posts/2017-07-14-undefined-behavior.md
ralf/_posts/2017-08-11-types-as-contracts-evaluation.md [new file with mode: 0644]