That's a nice list > Zig > undecidable, since evaluation of recursive functions at compile time is possible, thus requiring the compiler to solve the halting

That's a nice list > Zig > undecidable, since evaluation of recursive functions at compile time is possible, thus requiring the compiler to solve the halting problem. For some reason, I find that amusing.