Adding lecture 1

Post the Fall 2026 lecture 1 slides and link them from the Sep 1 calendar row.

Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01Mj12psGDYeGzGj7yMhDH5j

Author: Liby99

index.html

@@ -151,7 +151,7 @@ <h2>Course Calendar</h2>
 
                 <tr><td colspan="3"><strong>Module 1: Programming Languages and Synthesis</strong></td></tr>
                 <tr><td rowspan="2">1</td>
-                    <td>Sep 1 (Tue)</td><td>Overview &amp; Introduction to Machine Programming</td></tr>
+                    <td>Sep 1 (Tue)</td><td><a target="_blank" href="lectures/lecture-1.pdf">Overview &amp; Introduction to Machine Programming</a></td></tr>
                 <tr><td>Sep 3 (Thu)</td><td>Syntax, Semantics, and Bottom-up Inductive Synthesis</td></tr>
                 <tr><td rowspan="2">2</td>
                     <td>Sep 8 (Tue)</td><td>Type Systems and Top-down Enumerative Synthesis</td></tr>