11 Sep
2006
11 Sep
'06
3:39 p.m.
On 9/11/06, Neil Mitchell <ndmitchell@gmail.com> wrote:
Can you give any examples of terminating Haskell programs that a human can analyse (perhaps with a bit of thought), but that your system can't? (I couldn't find any in your paper)
Euclid's algorithm is mentioned on the web page, if I remember correctly. Jim