From 674990de8344d66c67fb8e306edef5b19170af8a Mon Sep 17 00:00:00 2001 From: Peter Thiemann Date: Mon, 1 Jun 2026 12:13:30 +0200 Subject: [PATCH] new instance; link fixed --- web/TableOfContents.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/web/TableOfContents.md b/web/TableOfContents.md index 5e3bcf7d2..13360e197 100644 --- a/web/TableOfContents.md +++ b/web/TableOfContents.md @@ -44,8 +44,10 @@ $endfor$ ### 2026 * [Jeremy Siek, Indiana University][IU-2026] + * [Peter Thiemann, Albert-Ludwigs University][Freiburg-2026] [IU-2026]: https://jsiek.github.io/PLFA-Spring-2026/ +[Freiburg-2026]: https://proglang.github.io/teaching/26ss/eopl.html ### 2025 * [Peter Thiemann, Albert-Ludwigs University][Freiburg-2025]