From e2d684767345db83ffc3e6f3261b9157df7ddd8e Mon Sep 17 00:00:00 2001
From: jay-tux <sys.jonas@yahoo.com>
Date: Wed, 24 Sep 2025 18:40:40 +0200
Subject: [PATCH] And, of course, a typo

---
 index.html    | 2 +-
 jaytux.com.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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.</p></li>
 <li><p><strong>Foundations of Programming Languages</strong> (Teaching
 Assistant)<br />
 <em>Semester:</em> Fall 2025<br />
-<em>Descriptoin:</em> A course in formalization, teaching students to
+<em>Description:</em> A course in formalization, teaching students to
 reason formally about programming languages and the use of the Rocq
 theorem prover.</p></li>
 </ul>
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.
 
 ---