Slip schedule

cs4110 · Jan 30, 2024 · e94cb22 · e94cb22
1 parent 3513de9
commit e94cb22
Showing 1 changed file with 5 additions and 5 deletions.
diff --git a/src/content.yaml b/src/content.yaml
@@ -12,16 +12,16 @@
     links:
             same slides: slides02.pdf
             same notes: lecture02.pdf
+-
+    topic: Small-Step Semantics
+    links:
+            same slides: slides02.pdf
+            same notes: lecture02.pdf
 -
     topic: Properties and Inductive Proofs
     links:
             slides: slides03.pdf
             notes: lecture03.pdf
--
-    topic: Inductive Proof
-    links:
-            same slides: slides03.pdf
-            same notes: lecture03.pdf
 -
     topic: Large-Step Semantics
     links: