add link to reddit
authorRalf Jung <post@ralfj.de>
Wed, 7 Jun 2017 03:42:06 +0000 (20:42 -0700)
committerRalf Jung <post@ralfj.de>
Wed, 7 Jun 2017 03:42:06 +0000 (20:42 -0700)
ralf/_posts/2017-06-06-MIR-semantics.md

index e092120..13f51db 100644 (file)
@@ -1,6 +1,7 @@
 ---
 title: Exploring MIR Semantics through miri
 categories: internship rust
+reddit: /rust/comments/6fqzub/exploring_mir_semantics_through_miri/
 ---
 
 It's now been two weeks since my internship started (two weeks already, can you believe it?).