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)
commit06abfacb6c8ded5313f41b8a182482c32808ce95
treeb895f6380e976a115151814b7f540f8ec2b537a5
parent152eca53464f61c4731af3349e163ac490d35ecb
new post on evaluating types-as-contracts
personal/_posts/2017-07-14-undefined-behavior.md
personal/_posts/2017-08-11-types-as-contracts-evaluation.md [new file with mode: 0644]