add link to reddit
[web.git] / personal / _posts / 2022-08-08-minirust.md
index 4d2752b9bf684626c92d49ca2acc602c15eda58b..f13285b26a5c8fd63a377a1180c97f64e390a8bf 100644 (file)
@@ -1,6 +1,7 @@
 ---
 title: "Announcing: MiniRust"
 categories: rust research
+reddit: /rust/comments/wiwjch/announcing_minirust/
 ---
 
 I have been thinking about the semantics of Rust -- as in, the intended behavior of Rust programs when executed, in particular those containing unsafe code -- a lot.