Skip to content

Commit 90e8859

Browse files
authored
Update TableOfContents.md (#1111)
Course @proglang in 2025
1 parent 522a093 commit 90e8859

1 file changed

Lines changed: 5 additions & 0 deletions

File tree

web/TableOfContents.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -42,6 +42,11 @@ $endfor$
4242

4343
### Courses taught from the textbook
4444

45+
#### 2025
46+
* [Peter Thiemann, Albert-Ludwigs University][Freiburg-2025]
47+
48+
[Freiburg-2025]: https://proglang.github.io/teaching/25ss/eopl.html
49+
4550
#### 2024
4651
* [Philip Wadler, University of Edinburgh][TSPL-2024]
4752

0 commit comments

Comments
 (0)