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/d3f8f5950feeeba2aed2f9d7cc32238e0045995f?hp=d3f8f5950feeeba2aed2f9d7cc32238e0045995f

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