From 9a48d2a7c7f8445c9f81ed00c47add83804a3cb9 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 17 Jul 2017 18:49:28 -0700 Subject: [PATCH 1/1] link from previous post --- ralf/_posts/2017-07-14-undefined-behavior.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ralf/_posts/2017-07-14-undefined-behavior.md b/ralf/_posts/2017-07-14-undefined-behavior.md index 1da732e..77e7315 100644 --- a/ralf/_posts/2017-07-14-undefined-behavior.md +++ b/ralf/_posts/2017-07-14-undefined-behavior.md @@ -88,3 +88,5 @@ It is with such considerations in my mind that I have previously written about [ Coming up next on this channel: During my [internship]({{ site.baseurl }}{% post_url 2017-05-23-internship-starting %}), I am working on such a specification. My ideas are concrete enough now that I can write down a draft, which I will share with the world to see what the world thinks about it. + +**Uodate:** [Writing down has happened]({{ site.baseurl }}{% post_url 2017-07-17-types-as-contracts %}). -- 2.30.2