posts: add link to reddit page, if it exists
authorRalf Jung <post@ralfj.de>
Sat, 2 Jan 2016 14:15:30 +0000 (15:15 +0100)
committerRalf Jung <post@ralfj.de>
Sat, 2 Jan 2016 14:15:30 +0000 (15:15 +0100)
personal/_layouts/page.html
personal/_posts/2015-10-12-formalizing-rust.md

index d3b16f2861308e548393527fbc3b1f2699d4ab18..420891973ef71bfddf24e26d3cb052566c9876e0 100644 (file)
@@ -44,7 +44,9 @@
 
       {{ content }}
 
-      {% if page.post %}<p class="comment">Comments? <a href="mailto:post-AT-ralfj-DOT-de">Drop me a mail</a>!</p>{% endif %}
+      {% if page.post %}
+        <p class="comment">Comments? <a href="mailto:post-AT-ralfj-DOT-de">Drop me a mail</a>{% if page.reddit %} or <a href="https://www.reddit.com/r{{ page.reddit }}">leave a note on reddit</a>{% endif %}!</p>
+      {% endif %}
     </article>
 
   </div></body>
index 3ad7cfa0a82faf050abd8726d757749fb0e45e93..672f9002b9f72561aa19e1d848dafb7afd32d37c 100644 (file)
@@ -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.