Update index.md

Formal-Systems-Laboratory · Sep 26, 2023 · b108146 · b108146
1 parent ed8bdd4
commit b108146
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/teaching/2023/cs422/index.md b/teaching/2023/cs422/index.md
@@ -88,7 +88,7 @@ Note: See the [abort](https://github.com/runtimeverification/k/tree/master/k-dis
 ---
 
 - ***Matching Logic - A Minimal Foundation for Programming Languages***
-  - Optional, but informative.  Matching logic is the logic undelying K.
+  - Optional, but informative.  Matching logic is the logic underlying K.
   - http://matching-logic.org
   - [Marktoberdorf Lecture Notes](https://events.model.in.tum.de/mod23/lectures.html)