On 9/11/06, Neil Mitchell <[EMAIL PROTECTED]> 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 _______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell