Re: [Haskell-cafe] Wikipedia on first-class object

On Thu, 27 Dec 2007 17:45:04 +0200, Jonathan Cast wrote:

On 27 Dec 2007, at 9:34 AM, Cristian Baboi wrote:

...

I'll have to trust you, because I cannot test it.

let x=(1:x); y=(1:y) in x==y .

I also cannot test this:

let x=(1:x); y=1:1:y in x==y

Correct. You could try proving it.

I cannot. Can you try to prove it is raining here where I am ? ________ Information from NOD32 ________ This message was checked by NOD32 Antivirus System for Linux Mail Servers. part000.txt - is OK http://www.eset.com