From bdf9a41f2b33462d11dca92b7889011b09300932 Mon Sep 17 00:00:00 2001 From: Programming Languages Uni Freiburg Date: Wed, 30 Apr 2025 10:46:35 +0200 Subject: [PATCH] Update TableOfContents.md Course @proglang in 2025 --- web/TableOfContents.md | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/web/TableOfContents.md b/web/TableOfContents.md index f9c51af1d..cb92f7dcb 100644 --- a/web/TableOfContents.md +++ b/web/TableOfContents.md @@ -42,6 +42,11 @@ $endfor$ ### Courses taught from the textbook +#### 2025 + * [Peter Thiemann, Albert-Ludwigs University][Freiburg-2025] + +[Freiburg-2025]: https://proglang.github.io/teaching/25ss/eopl.html + #### 2024 * [Philip Wadler, University of Edinburgh][TSPL-2024]