2 ms·
Would it significantly harm your experience if all your programs turned off after 1000 years of execution without input? If not, your program could be "total"
by SomeStupidPoint 10y ago
Would it significantly harm your experience if all your programs turned off after 1000 years of execution without input?
If not, your program could be "total" in most of the useful senses, and subparts could have tighter bounds, without any harm.