A5: Typed Scheme Extended Pyret logo

Due: Sunday, 12/9 at 11:59pm

Your primary job in Part I of this -- the course's last assignment -- is to implement a type checker for the Scheme1 language of A4.

In part II (EC) of A5, you'll extend your A4 to support boxes as described in Chapter 31 of PAPL.

This is a partner assignment. That is, you may work with at most one other person on both Parts I and II as described below.

Part I (4 POINTS)