From: Ralf Jung Date: Wed, 22 Aug 2018 19:29:44 +0000 (+0200) Subject: expand post title X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/51f3cf55b720feb9172a25f401a5577c22467358?hp=90a9ce4a22b6b905715b2d2c13764879a101f623 expand post title --- diff --git a/personal/_posts/2018-08-22-two-kinds-of-invariants.md b/personal/_posts/2018-08-22-two-kinds-of-invariants.md index a90dc47..785a9fd 100644 --- a/personal/_posts/2018-08-22-two-kinds-of-invariants.md +++ b/personal/_posts/2018-08-22-two-kinds-of-invariants.md @@ -1,5 +1,5 @@ --- -title: "Two Kinds of Invariants" +title: "Two Kinds of Invariants: Safety and Validity" categories: internship rust forum: https://internals.rust-lang.org/t/two-kinds-of-invariants/8264 ---