X-Git-Url: https://git.ralfj.de/web.git/blobdiff_plain/858389559febb00b69b967bf1ef7e952c79ea2d5..4e341412a543adf7df1d156ccd5ddb1eb8599afb:/personal/_posts/2015-10-12-formalizing-rust.md

diff --git a/personal/_posts/2015-10-12-formalizing-rust.md b/personal/_posts/2015-10-12-formalizing-rust.md
index 3ad7cfa..672f900 100644
--- a/personal/_posts/2015-10-12-formalizing-rust.md
+++ b/personal/_posts/2015-10-12-formalizing-rust.md
@@ -1,6 +1,7 @@
 ---
 title: Formalizing Rust
 categories: research rust
+reddit: /rust/comments/3ofkz6/formalizing_rust/
 ---
 
 My current research project - and the main topic of my PhD thesis - is about developing a *semantic model* of the [Rust programming language](https://www.rust-lang.org/) and, most importantly, its type system.