From: Ralf Jung Date: Wed, 7 Jun 2017 03:42:06 +0000 (-0700) Subject: add link to reddit X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/8e0334c246756e88fd5c68b9719acf1a400cc727?ds=inline;hp=ad82abd7c06abd621a9866c6c65002742f4f73e6 add link to reddit --- diff --git a/personal/_posts/2017-06-06-MIR-semantics.md b/personal/_posts/2017-06-06-MIR-semantics.md index e092120..13f51db 100644 --- a/personal/_posts/2017-06-06-MIR-semantics.md +++ b/personal/_posts/2017-06-06-MIR-semantics.md @@ -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?).