From 8291131944c4edd6fa471b190955b07e47bcd1b3 Mon Sep 17 00:00:00 2001 From: Ralf Jung Date: Mon, 8 Aug 2022 08:53:44 -0400 Subject: [PATCH] shout out more people --- ralf/_posts/2022-08-08-minirust.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/ralf/_posts/2022-08-08-minirust.md b/ralf/_posts/2022-08-08-minirust.md index 49564f7..00d4e31 100644 --- a/ralf/_posts/2022-08-08-minirust.md +++ b/ralf/_posts/2022-08-08-minirust.md @@ -50,7 +50,7 @@ On the other hand, there are many things that it *can* explain in full precision If you are not used to reading interpreter source code, then I guess this can be rather jarring, and there is certainly a *lot* of work that could and should be done to make this more accessible. (Like, examples. I hear people like examples.) -But just being able to talk about these questions with precision *at all* has already lead to some interesting discussions in the UCG WG, some of which made me change my mind -- thanks in particular to @digama0 and @JakobDegen for engaging deeply with my ideas. +But just being able to talk about these questions with precision *at all* has already lead to some interesting discussions in the UCG WG, some of which made me change my mind -- thanks in particular to @digama0, @JakobDegen, and @alercah for engaging deeply with my ideas. So for now it is serving its purpose, and maybe some of you can find it useful, too. Hopefully we can even use this as a starting place for seriously tackling the issue of an *official* specification of Rust. More on that soon. :) -- 2.30.2