Skip to content

Commit ea96a79

Browse files
proglangJaro Reinders
authored andcommitted
Update TableOfContents.md (plfa#1111)
Course @proglang in 2025
1 parent 5efa7bd commit ea96a79

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)