| Number | Date Out | Date In | Handout |
|---|---|---|---|
| Homework 01 | 29 August 2018 | 04 September 2018, 23:59 EDT | Homework 01 |
| Homework 02 | 05 September 2018 | 11 September 2018, 23:59 EDT | Homework 02 |
| Homework 03 | 12 September 2018 | 18 September 2018, 23:59 EDT | Homework 03 |
| Homework 04 | 19 September 2018 | 25 September 2018, 23:59 EDT | Homework 04 |
| Number | Date | Notes | Handout | Solution |
|---|---|---|---|---|
| 01 | 29 Aug | SML Basics | Lab 01 | Solutions |
| 02 | 05 Sep | Induction | Lab 02 | Solutions |
| 03 | 12 Sep | Valuability and Recurrences | Lab 03 | Solutions |
| 04 | 19 Sep | Structural Induction | Lab 04 | |