X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/70f55571cadba0802bbd8c1d2697af71ad33dfad..4ae5e63b997a5662ebe0bad613e4c433f23399ea:/ralf/_posts/2017-07-17-types-as-contracts.md

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