[Haskell] Re: ANN: Haskell98 termination analyzer (AProVE)

Jim Apple jbapple+haskell at gmail.com
Mon Sep 11 11:39:59 EDT 2006

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.


More information about the Haskell mailing list