3 ms·
What makes it ill-defined is that it computes infinitely -- that's why you need a totality checker (or a total language).
by remexre 2y ago
What makes it ill-defined is that it computes infinitely -- that's why you need a totality checker (or a total language).