From 516eb8f62d450ea663ecd1b3841cc20030f93b0d Mon Sep 17 00:00:00 2001 From: Gowtham Kaki Date: Fri, 30 Aug 2024 10:15:45 -0600 Subject: [PATCH] fixing formatting --- schedule.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) 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>