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

Taral taralx at gmail.com
Fri Sep 8 21:14:47 EDT 2006


On 9/8/06, Bill Wood <william.wood3 at comcast.net> wrote:
> We await the response with bated breath.

Don't hold your breath.

-- 
Taral <taralx at gmail.com>
"You can't prove anything."
    -- Gödel's Incompetence Theorem


More information about the Haskell mailing list