We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 5124b0e commit c5a9fcaCopy full SHA for c5a9fca
index.html
@@ -97,7 +97,7 @@ <h2>Course Calendar</h2>
97
<th>Topic / Event</th>
98
</tr>
99
<tr><td rowspan="2">1</td>
100
- <td>Aug 26 (Tue)</td><td><a target="_blank" href="lectures/lecture1.pdf">Overview & Introduction to Synthesis</a></td></tr>
+ <td>Aug 26 (Tue)</td><td><a target="_blank" href="lectures/lecture-1.pdf">Overview & Introduction to Synthesis</a></td></tr>
101
<tr><td>Aug 28 (Thu)</td><td>Syntax and Semantics</td></tr>
102
<tr><td rowspan="2">2</td>
103
<td>Sep 2 (Tue)</td><td>Enumerative Program Synthesis</td></tr>
0 commit comments