Update index.md

Formal-Systems-Laboratory · Aug 27, 2024 · 9819eb0 · 9819eb0
1 parent a324490
commit 9819eb0
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/teaching/2024/cs422/index.md b/teaching/2024/cs422/index.md
@@ -33,6 +33,6 @@ CS422 is an advanced course on principles of programming language design. Major
 The links below provide you with useful material for this class, including complete lecture notes. These materials will be added by need.
 
 - ***Introduction.*** [Slides](CS422-Fall-2024-01.pdf)
-- ***Structural Operational Semantics.*** [Slides]({{site.baseurl}}/assets/CS422-Fall-2024-02-Conventional-Executable-Semantics.pdf)
-  - Book lecture notes on the IMP language, big-step SOS, and small-step SOS (you can skip the rewriting logic and Maude parts; comments welcome!): [IMP-BigStep-SmallStep]({{site.baseurl}}/assets/CS422-Fall-2024-02a-IMP-BigStep-SmallStep.pdf)
+- ***Structural Operational Semantics.*** [Slides](CS422-Fall-2024-02-Conventional-Executable-Semantics.pdf)
+  - Book lecture notes on the IMP language, big-step SOS, and small-step SOS (you can skip the rewriting logic and Maude parts; comments welcome!): [IMP-BigStep-SmallStep](CS422-Fall-2024-02a-IMP-BigStep-SmallStep.pdf)