3 ms·Ahh, I misread your comment. Indeed, halting is not very interesting property of programs.by mkleczek 4y agoAhh, I misread your comment. Indeed, halting is not very interesting property of programs.