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

Bill Wood william.wood3 at comcast.net
Fri Sep 8 20:50:02 EDT 2006


On Fri, 2006-09-08 at 17:03 -0700, Ashley Yakeley wrote:
   . . .
> Cool! So are there an infinite number of twin primes or not?

We await the response with bated breath.  On second thought, maybe
that's not a good idea ...

 -- Bill Wood




More information about the Haskell mailing list