Exercise 1.34
If we try evaluating the combination (f f), we get the process (f f) => (f 2) => (2 2. This fails because 2 is not a procedure:
If we try evaluating the combination (f f), we get the process (f f) => (f 2) => (2 2. This fails because 2 is not a procedure: