From 4a87c234396f575f775b4aaf786e95a9f6d20996 Mon Sep 17 00:00:00 2001 From: Peter Thiemann Date: Thu, 29 Feb 2024 00:30:26 +0100 Subject: [PATCH] course@Freiburg ws23-24 (#961) Co-authored-by: Wen Kokke --- web/TableOfContents.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/web/TableOfContents.md b/web/TableOfContents.md index 1e7544955..0b0a37f42 100644 --- a/web/TableOfContents.md +++ b/web/TableOfContents.md @@ -43,8 +43,10 @@ $endfor$ ### Courses taught from the textbook #### 2023 + * [Peter Thiemann, Albert-Ludwigs University][Freiburg-2023] * [Philip Wadler, University of Edinburgh][TSPL-2023] +[Freiburg-2023]: https://web.archive.org/web/20240208112146/https://proglang.informatik.uni-freiburg.de/teaching/proglang/2023ws/ [TSPL-2023]: /TSPL/2023/ #### 2022