add forum link
authorRalf Jung <post@ralfj.de>
Tue, 18 Jul 2017 01:54:26 +0000 (18:54 -0700)
committerRalf Jung <post@ralfj.de>
Tue, 18 Jul 2017 01:54:29 +0000 (18:54 -0700)
ralf/_posts/2017-07-17-types-as-contracts.md

index 22a1fc2..8ad613f 100644 (file)
@@ -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