On 9/11/06, Neil Mitchell <ndmitchell at 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