Skip to content

Commit

Permalink
fixing formatting
Browse files Browse the repository at this point in the history
  • Loading branch information
tycon committed Aug 30, 2024
1 parent 1590a34 commit 516eb8f
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion schedule.md
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,8 @@ permalink: /schedule/
<td class="tg-0lax">08/23 - 8/27</td>
<td class="tg-0lax">Introduction, Coq Basics, Functional Programming, Induction & Inductive Data Structures</td>
<td class="tg-0lax">
<a href="../lectures/intro.pdf">Intro Slides (PDF)</a><
<a href="../lectures/intro.pdf">Intro Slides (PDF)</a>
<br />
<a
href="https://cuboulder.zoom.us/rec/share/w8URo5UhBNqmVL01C6eVOJ1Rt270nHiWOifXuLRz9yaFpRWtKhcNNG2wcVHQteTW.KEZxjz6Tq4Us3G5Z">Lec 2 Zoom Recording</a>
/td>
Expand Down

0 comments on commit 516eb8f

Please sign in to comment.