
20 Dec
2011
20 Dec
'11
5:47 a.m.
On Dec 20, 2011, at 8:40 PM, Jesse Schalken wrote:
If you think a value might not reduce, return an error in an error monad.
Okay, I'm completely convinced! Now all that we have to do is to solve the halting problem to make your solution work... :-) Cheers, Greg