Create index.md

Formal-Systems-Laboratory · Aug 22, 2023 · 77ce220 · 77ce220
1 parent 7951a98
commit 77ce220
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/teaching/2023/cs422/index.md b/teaching/2023/cs422/index.md
@@ -0,0 +1 @@
+abc