more forum links
authorRalf Jung <post@ralfj.de>
Sat, 12 Aug 2017 02:28:02 +0000 (19:28 -0700)
committerRalf Jung <post@ralfj.de>
Sat, 12 Aug 2017 02:28:02 +0000 (19:28 -0700)
personal/_posts/2017-08-11-types-as-contracts-evaluation.md

index 08f9bf5faee62677df433d280cf90f6e6ddfaadf..21721c41968449bfaf96e9a947999cb0279f34a3 100644 (file)
@@ -265,7 +265,7 @@ Finally, there is of course the discussion around how to handle raw pointers; I
 Unfortunately, today is the last day of my internship, so I will no longer be able to work on all of this full-time like I did the last three months.
 Still, I certainly intend to stay involved. This problem is way too interesting to just let it go :)
 
 Unfortunately, today is the last day of my internship, so I will no longer be able to work on all of this full-time like I did the last three months.
 Still, I certainly intend to stay involved. This problem is way too interesting to just let it go :)
 
-As always, please comment with your thoughts on the topic.
+As always, please [comment](https://internals.rust-lang.org/t/https-www-ralfj-de-blog-2017-08-11-types-as-contracts-evaluation-html/5753) with your thoughts on the topic.
 I am particularly curious about what kind of test cases you are throwing at miri, and how it is doing!
 
 **Update**: I added a proposal for how to fix the `Arc` problem.
 I am particularly curious about what kind of test cases you are throwing at miri, and how it is doing!
 
 **Update**: I added a proposal for how to fix the `Arc` problem.