highligher: sort builtins

[web.git] / ralf / _posts / 2015-10-12-formalizing-rust.md

diff --git a/ralf/_posts/2015-10-12-formalizing-rust.md b/ralf/_posts/2015-10-12-formalizing-rust.md
index 3ad7cfa0a82faf050abd8726d757749fb0e45e93..672f9002b9f72561aa19e1d848dafb7afd32d37c 100644 (file)
--- a/ralf/_posts/2015-10-12-formalizing-rust.md
+++ b/ralf/_posts/2015-10-12-formalizing-rust.md
@@ -1,6 +1,7 @@
 ---
 title: Formalizing Rust
 categories: research rust
 ---
 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.
 ---
 
 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.