On Monday, 31 December 2012 at 23:39:35 UTC, Rob T wrote:
ref returns where the return result cannot be proven to be safe


Halting problem?

Reply via email to