link from previous post
authorRalf Jung <post@ralfj.de>
Tue, 18 Jul 2017 01:49:28 +0000 (18:49 -0700)
committerRalf Jung <post@ralfj.de>
Tue, 18 Jul 2017 01:49:50 +0000 (18:49 -0700)
ralf/_posts/2017-07-14-undefined-behavior.md

index 1da732e89033405a99f9e8846979f1a779f25573..77e73151c18cbd644430cc8bbc883eeb8829bca0 100644 (file)
@@ -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 %}).