forum link
authorRalf Jung <post@ralfj.de>
Fri, 11 Aug 2017 23:04:30 +0000 (16:04 -0700)
committerRalf Jung <post@ralfj.de>
Fri, 11 Aug 2017 23:04:30 +0000 (16:04 -0700)
ralf/_posts/2017-08-11-types-as-contracts-evaluation.md

index e06ccc0d5fcefebc0db99d9e8eaad1f1e76b1010..b6fe54a618145975a7c237c27da96017d192b390 100644 (file)
@@ -1,6 +1,7 @@
 ---
 title: "Types as Contracts: Implementation and Evaluation"
 categories: internship rust
 ---
 title: "Types as Contracts: Implementation and Evaluation"
 categories: internship rust
+forum: https://internals.rust-lang.org/t/https-www-ralfj-de-blog-2017-08-11-types-as-contracts-evaluation-html/5753
 ---
 
 Some weeks ago, I described [Types as Contracts]({{ site.baseurl }}{% post_url 2017-07-17-types-as-contracts %}) as an approach for how to go about defining Rust's aliasing-related [undefined behavior]({{ site.baseurl }}{% post_url 2017-07-14-undefined-behavior %}).
 ---
 
 Some weeks ago, I described [Types as Contracts]({{ site.baseurl }}{% post_url 2017-07-17-types-as-contracts %}) as an approach for how to go about defining Rust's aliasing-related [undefined behavior]({{ site.baseurl }}{% post_url 2017-07-14-undefined-behavior %}).