Wednesday, June 3, 2009

Ex-1.34

It fails because (f f)->(f 2)->(2 2) and 2 is not a procedure.

No comments:

Post a Comment