Skip to content

Commit 405ed14

Browse files
committed
Adding lecture 2
1 parent c3012e9 commit 405ed14

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed

index.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -98,10 +98,10 @@ <h2>Course Calendar</h2>
9898
</tr>
9999
<tr><td rowspan="2">1</td>
100100
<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>
101+
<tr><td>Aug 28 (Thu)</td><td><a target="_blank" href="lectures/lecture-2.pdf">Inductive Synthesis</a></td></tr>
102102
<tr><td rowspan="2">2</td>
103-
<td>Sep 2 (Tue)</td><td>Enumerative Program Synthesis</td></tr>
104-
<tr><td>Sep 4 (Thu)</td><td>Example Guided Synthesis</td></tr>
103+
<td>Sep 2 (Tue)</td><td>Lecture</td></tr>
104+
<tr><td>Sep 4 (Thu)</td><td>Lecture</td></tr>
105105
<tr><td rowspan="2">3</td>
106106
<td>Sep 9 (Tue)</td><td>Lecture</td></tr>
107107
<tr><td>Sep 11 (Thu)</td><td>Lecture</td></tr>

lectures/lecture-2.pdf

1 MB
Binary file not shown.

0 commit comments

Comments
 (0)