Is there an intention to 'finish' D2?

[forkit]

On Thursday, 25 November 2021 at 02:39:17 UTC, zjh wrote:
> On Thursday, 25 November 2021 at 02:14:34 UTC, forkit wrote:
>
>> What we really need is a simpler compiler that we can trust 
>> (through formal verfication and  proofs). That is how one 
>> implements @safe and @trusted ;-)
>>
>
>
> That is an ideal, not a reality.

no. it's a reality.

https://compcert.org/compcert-C.html