
11 Feb
2015
11 Feb
'15
3:38 a.m.
On Wed, Feb 11, 2015 at 3:24 PM, Frerich Raabe
Ah, true. The compiler would need to evaluate the program, I didn't realize that. But: what do you mean by 'if your program diverges' -- diverges from what?
http://en.wikipedia.org/wiki/Divergence_%28computer_science%29 -- Kim-Ee