diff --git a/schedule.md b/schedule.md index d51f539..b418fae 100644 --- a/schedule.md +++ b/schedule.md @@ -19,7 +19,8 @@ permalink: /schedule/ 08/23 - 8/27 Introduction, Coq Basics, Functional Programming, Induction & Inductive Data Structures - Intro Slides (PDF)< + Intro Slides (PDF) +
Lec 2 Zoom Recording /td>