From: Ralf Jung Date: Wed, 12 Feb 2025 19:41:18 +0000 (+0100) Subject: fix formatting in old blog post X-Git-Url: https://git.ralfj.de/web.git/commitdiff_plain/c5956f63ceeea55b327745d4cd7d613b8c3b6b6f fix formatting in old blog post --- diff --git a/personal/_posts/2017-07-17-types-as-contracts.md b/personal/_posts/2017-07-17-types-as-contracts.md index 3ef565a..67d521e 100644 --- a/personal/_posts/2017-07-17-types-as-contracts.md +++ b/personal/_posts/2017-07-17-types-as-contracts.md @@ -417,6 +417,6 @@ Other areas of future work include `static` variables and the `NonZero` type. Nevertheless, my hope is that the general approach of a contract-like, type-driven validation mechanism ends up being useful. So, keep the comments flowing -- and safe hacking. -**Update**: I did some refactoring of the post, reordering sections 2.2 and 2.3 to hopefully make it all flow better. Thanks for all the helpful feedback! +**Update:** I did some refactoring of the post, reordering sections 2.2 and 2.3 to hopefully make it all flow better. Thanks for all the helpful feedback! #### Footnotes