Schedule
| Week | Due | Tuesday | Thursday |
|---|---|---|---|
| 09/01 | Assignment 0 - Installations | Introduction | Verification in Dafny |
| 09/08 | Hoare Logic | Hoare Logic (cont.) | |
| 09/15 | Assignment 1 - Dafny + Hoare Logic | From OCaml to Haskell | Higher Order |
| 09/22 | |||
| 09/29 | |||
| 10/06 | Midterm Review (Files / ELM) | Midterm 1 | |
| 10/13 | Fall Break! | ||
| 10/20 | Spring Break | Spring Break | |
| 10/27 | |||
| 11/03 | |||
| 11/10 | |||
| 11/17 | |||
| 11/24 | Thanksgiving | Thanksgiving! | |
| 12/01 | Midterm 2 | ||
| 12/08 | Final Project |