From: Ralf Jung Date: Tue, 18 Jul 2017 01:54:26 +0000 (-0700) Subject: add forum link X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/ee8a35d28ea706c03dffe6798a8d6760af989940?hp=ba705794599917bb28bcf1261063a4becf998ab9 add forum link --- diff --git a/personal/_posts/2017-07-17-types-as-contracts.md b/personal/_posts/2017-07-17-types-as-contracts.md index 22a1fc2..8ad613f 100644 --- a/personal/_posts/2017-07-17-types-as-contracts.md +++ b/personal/_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