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

Ashley Yakeley ashley at semantic.org
Fri Sep 8 20:03:32 EDT 2006


Stephan Swiderski wrote:
> Dear all,
> 
> we are pleased to announce the integration of an
> 
>    automatic Haskell98 termination analyzer

Cool! So are there an infinite number of twin primes or not?

-- 
Ashley Yakeley
Seattle, WA



More information about the Haskell mailing list