Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!sdd.hp.com!think.com!snorkelwacker.mit.edu!bloom-beacon!dont-send-mail-to-path-lines
From: shivers@bronto.soar.cs.cmu.EDU (Olin Shivers)
Newsgroups: comp.lang.scheme
Subject: eqness of procedures
Message-ID: <9105080039.aa09228@mc.lcs.mit.edu>
Date: 8 May 91 04:38:49 GMT
Sender: daemon@athena.mit.edu (Mr Background)
Organization: The Internet
Lines: 10

In the revised report that I have (3.95)
	(eqv? (lambda (x) x) (lambda (x) x))
is explicitly undefined -- implementations can return either true or false.

However, this is never spelled out for
	(eq? (lambda (x) x) (lambda (x) x))
Has this been settled?

Transformations that beta-substitute lambda expressions need to know.
	-Olin