From cce059c41f3db0d8a1d551cde49f500344682bae Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Tue, 6 Jun 2017 20:42:06 -0700 Subject: [PATCH] add link to reddit --- personal/_posts/2017-06-06-MIR-semantics.md | 1 + 1 file changed, 1 insertion(+) 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?). -- 2.30.2