[Haskell-cafe] Wikipedia on first-class object
cristi at ot.onrc.ro
Fri Dec 28 02:17:03 EST 2007
On Thu, 27 Dec 2007 17:45:04 +0200, Jonathan Cast
<jonathanccast at fastmail.fm> 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
More information about the Haskell-Cafe