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

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