On: GCC 13 and the State of Gccrs

[CJefferson]

C++'s type system is turing complete, and there seem to be plenty of successful independant implementations of that -- although they do often disagree on how many programs are executed.