Assignment 4

1. Implement the interpreter on page 141. Implement eval-exp and repl and test them using repl. Use the parser at http://www.cs.unr.edu/~sushil/class/326/code/ in parse.ss . This parser accepts a language that is an extension of the lambda calculus. However you will be implementing an interpreter for a simple language which we will name "U2"
2. Do exercise 5.1.3
3. Do exercises 5.1.4
4. Do exercise 5.2.1 for U2 .
5. Do exercise 5.2.2, 5.2.3.
6. The parser parses let expressions that follow scheme syntax. Do exercise 5.3.1 for U2 extended with let-expressions.
7. The parser also parses proc expressions that allow you to define procedures using the keyword proc (instead of lambda). Extend your parser to deal with first class user-defined procedures and test it. This is exercise 5.4.1.

Turning it in

% ~cs326/bin/sub4