From 4ae5e63b997a5662ebe0bad613e4c433f23399ea Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 17 Jul 2017 18:54:26 -0700 Subject: [PATCH] add forum link --- ralf/_posts/2017-07-17-types-as-contracts.md | 1 + 1 file changed, 1 insertion(+) diff --git a/ralf/_posts/2017-07-17-types-as-contracts.md b/ralf/_posts/2017-07-17-types-as-contracts.md index 22a1fc2..8ad613f 100644 --- a/ralf/_posts/2017-07-17-types-as-contracts.md +++ b/ralf/_posts/2017-07-17-types-as-contracts.md @@ -1,6 +1,7 @@ --- title: "Types as Contracts" categories: internship rust +forum: https://internals.rust-lang.org/t/types-as-contracts/5562 --- Over the last couple of weeks of my [internship]({{ site.baseurl }}{% post_url -- 2.30.2