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)