add RefinedRust paper
[web.git] / personal / _posts / 2018-01-21-rustbelt-talk.md
index 976d417ef25f97073ff61e7c47be91db32e2bfb7..d39bcdb6068c1e49edb4959ce6253522749c93cf 100644 (file)
@@ -1,5 +1,5 @@
 ---
-title: "RustBelt conference talk"
+title: "RustBelt Conference Talk"
 categories: research rust
 forum: https://internals.rust-lang.org/t/rustbelt-securing-the-foundations-of-the-rust-programming-language/5509
 ---