diff --git a/index.html b/index.html index 84dce68..8e2ac45 100644 --- a/index.html +++ b/index.html @@ -255,7 +255,7 @@ to work in a professional setting, by building a mobile app.

  • Foundations of Programming Languages (Teaching Assistant)
    Semester: Fall 2025
    -Descriptoin: A course in formalization, teaching students to +Description: A course in formalization, teaching students to reason formally about programming languages and the use of the Rocq theorem prover.

  • diff --git a/jaytux.com.md b/jaytux.com.md index 4f77dcc..4cd77a6 100644 --- a/jaytux.com.md +++ b/jaytux.com.md @@ -63,7 +63,7 @@ header-includes: - **Foundations of Programming Languages** (Teaching Assistant) *Semester:* Fall 2025 - *Descriptoin:* A course in formalization, teaching students to reason formally about programming languages and the use of the Rocq theorem prover. + *Description:* A course in formalization, teaching students to reason formally about programming languages and the use of the Rocq theorem prover. ---