@nixfreak So far as I know Andrew Whatson is still working on it.

In any case, I have made a few design decisions that differ from theirs (type inference algorithm, source language, I'll probably switch to generating Zig instead of C, &c).