[plt-scheme] Check for function equality?

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Thu Feb 19 20:03:25 EST 2009

David Van Horn wrote:
> Uh..... maybe I'm being stupid; I don't see a contradiction following 
> from this.
> If (halts? als als), then (als als) loops.
> If not (halts? als als), then (als als) is 3.

Yeah, I was being stupid.  I just had to read it in a public forum to 
figure that out.

Sorry for the noise,

Posted on the users mailing list.