The second assignment consists of Exercises 2.17, 2.7, 2.8. Due Thursday February 2 in class. The first assignment consists of Exercises 2.1, 2.13, and 2.14. Due Thursday January 25 in class. If you want to typeset your answers, we recommend proof.sty , a collection of LaTeX macros for type-setting deductions .
Emphasis is on correctness and elegance .
Some assignments may be very difficult. The first handout on The Mini-ML Language is now available. For an outdated draft of the course textbook, see cd.pdf . This will not be published in time for this class. Copies will be available here for students.