<< Previous exercise (4.16)
| Index |
Next exercise (4.18) >>
because let expression will be substituted as lambda expression, every lambda expression will extend the environment.
the new environment is confined to the let expression, it doesn't change the outer environment.
get all the definitions to the top of procedure body