From 2b828878c7553f5198d92ae098ac9ab029fe18be Mon Sep 17 00:00:00 2001
From: jay-tux <sys.jonas@yahoo.com>
Date: Wed, 24 Sep 2025 18:37:59 +0200
Subject: [PATCH] Added Foundations'25

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

diff --git a/index.html b/index.html
index 4c12916..be1ed1e 100644
--- a/index.html
+++ b/index.html
@@ -247,11 +247,15 @@ Coming soon!
 <hr />
 <h2 id="teaching">Teaching</h2>
 <ul>
-<li><strong>Software Engineering Lab 1</strong> (Teaching
+<li><p><strong>Software Engineering Lab 1</strong> (Teaching
 Assistant)<br />
 <em>Semester:</em> Spring 2025<br />
 <em>Description:</em> A project-oriented course meant to teach students
-to work in a professional setting, building a mobile app.</li>
+to work in a professional setting, by building a mobile app.</p></li>
+<li><p><strong>Foundations of Programming Languages</strong> (Teaching
+Assistant) <em>Semester:</em> Fall 2025 <em>Descriptoin:</em> A course
+in formalization, teaching students to reason formally about programming
+languages and the use of the Rocq theorem prover.</p></li>
 </ul>
 <hr />
 <h2 id="education">Education</h2>
diff --git a/jaytux.com.md b/jaytux.com.md
index e24c63d..37f76f8 100644
--- a/jaytux.com.md
+++ b/jaytux.com.md
@@ -59,7 +59,11 @@ header-includes:
 
 - **Software Engineering Lab 1** (Teaching Assistant)  
   *Semester:* Spring 2025  
-  *Description:* A project-oriented course meant to teach students to work in a professional setting, building a mobile app.
+  *Description:* A project-oriented course meant to teach students 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 reason formally about programming languages and the use of the Rocq theorem prover.
 
 ---