From 6f1497828285bd345256d17f8b43850e09bbd549 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Sat, 2 Jan 2016 15:15:30 +0100 Subject: [PATCH 1/1] posts: add link to reddit page, if it exists --- personal/_layouts/page.html | 4 +++- personal/_posts/2015-10-12-formalizing-rust.md | 1 + 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/personal/_layouts/page.html b/personal/_layouts/page.html index d3b16f2..4208919 100644 --- a/personal/_layouts/page.html +++ b/personal/_layouts/page.html @@ -44,7 +44,9 @@ {{ content }} - {% if page.post %}

Comments? Drop me a mail!

{% endif %} + {% if page.post %} +

Comments? Drop me a mail{% if page.reddit %} or leave a note on reddit{% endif %}!

+ {% endif %} 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. -- 2.30.2