Adding lecture 4

Author: Liby99

index.html

@@ -101,12 +101,12 @@ <h2>Course Calendar</h2>
                 <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><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>Sep 4 (Thu)</td><td><a target="_blank" href="lectures/lecture-4.pdf">Functional Specifications and Synthesis</a></td></tr>
                 <tr><td rowspan="2">3</td>
                     <td>Sep 9 (Tue)</td><td>Lecture</td></tr>
-                <tr><td>Sep 11 (Thu)</td><td>Lecture | <a target="_blank" href="https://github.com/machine-programming/assignment-1">Assignment 1 Due</a></td></tr>
+                <tr><td>Sep 11 (Thu)</td><td>Lecture</td></tr>
                 <tr><td rowspan="2">4</td>
-                    <td>Sep 16 (Tue)</td><td>Lecture</td></tr>
+                    <td>Sep 16 (Tue)</td><td>Lecture | <a target="_blank" href="https://github.com/machine-programming/assignment-1">[Assignment 1 Due]</a></td></tr>
                 <tr><td>Sep 18 (Thu)</td><td>Lecture</td></tr>
                 <tr><td rowspan="2">5</td>
                     <td>Sep 23 (Tue)</td><td>Lecture</td></tr>