Adding lecture 3

Author: Liby99

index.html

@@ -98,9 +98,9 @@ <h2>Course Calendar</h2>
                 </tr>
                 <tr><td rowspan="2">1</td>
                     <td>Aug 26 (Tue)</td><td><a target="_blank" href="lectures/lecture-1.pdf">Overview & Introduction to Synthesis</a></td></tr>
-                <tr><td>Aug 28 (Thu)</td><td><a target="_blank" href="lectures/lecture-2.pdf">Inductive Synthesis</a></td></tr>
+                <tr><td>Aug 28 (Thu)</td><td><a target="_blank" href="lectures/lecture-2.pdf">Syntax, Semantics, and Bottom-up Inductive Synthesis</a></td></tr>
                 <tr><td rowspan="2">2</td>
-                    <td>Sep 2 (Tue)</td><td>Lecture</td></tr>
+                    <td>Sep 2 (Tue)</td><td><a target="_blank" href="lectures/lecture-3.pdf">Type Systems and Top-down Enumerative Synthesis</a></td></tr>
                 <tr><td>Sep 4 (Thu)</td><td>Lecture</td></tr>
                 <tr><td rowspan="2">3</td>
                     <td>Sep 9 (Tue)</td><td>Lecture</td></tr>