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

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