Assignments

The assignments are available on Gradescope.

Assignment 1 (Due on September 10)

Assignment 2 – System T Handout (Due on September 17)

Assignment 3 – Call by Name System T Handout (Due on September 24)

Assignment 4 (Due on October 1)

Assignment 5 (Due on October 11)

Assignment 6 (Due on October 29)

Assignment 7 (Due on November 7)

Assignment 8 (Due on November 14)