From: Ralf Jung <post@ralfj.de>
Date: Fri, 11 Aug 2017 23:02:09 +0000 (-0700)
Subject: new post on evaluating types-as-contracts
X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/81d020bc303e970d1eaebf302bb829dafeb6e2ce?hp=81d020bc303e970d1eaebf302bb829dafeb6e2ce

new post on evaluating types-as-contracts
---