[plt-scheme] Check for function equality?

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,
David