| Date | Cliff | ||
|---|---|---|---|
| 31 Aug, 2026 | All Notes | Notes: Link | All notes put together |
| 1 Sep, 2026 | Intro | Slides: Link Notes: Link |
|
| Semantic Overview | Notes: Link | We will see if we go over this, but be good to read over | |
| 3 Sep, 2026 | Ocaml Intro | Slides: Link Notes: Link |
|
| Ocaml Walkthrough | Notes: Link | Just an extra for some stuff | |
| 10 Sep, 2026 | Ocaml Data Structures | Slides: Link | |
| 16 Sep, 2026 | Recursive Functions | Notes: Link | |
| 17 Sep, 2026 | Functions | Slides: Link Notes: Link |
|
| 21 Sep, 2026 | Map/Fold Lecture Code | Notes: Link | Visualizer Code |
| 24 Sep, 2026 | Regex | Slides: Link Notes: Link |
|
| 29 Sep, 2026 | FSM | Slides: Link Notes: Link |
|
| 8 Oct, 2026 | Property Based Testing | Slides: Link Notes: Link |
Guest Lecture: Ethan Chou[Antithesis] |