Re: Fw: more detailed explanation about forall in Haskell

[Dave Tweed]

On Wed, 17 May 2000, Dave Tweed wrote:
> [forall x.prime(x)] -||- [forall x.prime(x)]
> 
> ie, a tautology.
^^^^^^^^^^^

Sorry, I really shouldn't email until _after_ my first cup of coffee...
I meant `trivially a correct statement about the logic', not tautology
which has a more precise meaning in logic than everyday language.


___cheers,_dave________________________________________________________
www.cs.bris.ac.uk/~tweed/pi.htm|I shoulda realised building the 
email: [EMAIL PROTECTED]     |memory allocation subsytem with 
work tel: (0117) 954-5253      |--with-malicious-ai was a bad idea.