jaytux/jaytux.com
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

And, of course, a typo

Browse Source
This commit is contained in:
jay-tux
2025-09-24 18:40:40 +02:00
parent 4dfb816bb4
commit e2d6847673
2 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
index.html
View File

@@ -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 <li><p><strong>Foundations of Programming Languages</strong> (Teaching
Assistant)<br /> Assistant)<br />
<em>Semester:</em> Fall 2025<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 reason formally about programming languages and the use of the Rocq
theorem prover.</p></li> theorem prover.</p></li>
</ul> </ul>

2
jaytux.com.md
View File

@@ -63,7 +63,7 @@ header-includes:
- **Foundations of Programming Languages** (Teaching Assistant) - **Foundations of Programming Languages** (Teaching Assistant)
*Semester:* Fall 2025 *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.
--- ---