Add course to “Courses using Agda” (#7091)

agda · Feb 6, 2024 · fc5642e · fc5642e
1 parent fbf9d15
commit fc5642e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/doc/user-manual/getting-started/tutorial-list.rst b/doc/user-manual/getting-started/tutorial-list.rst
@@ -110,6 +110,7 @@ Courses using Agda
   a course by Peter Selinger at Dalhousie University, Winter 2021.
 - `HoTTEST Summer School 2022 <https://www.uwo.ca/math/faculty/kapulkin/seminars/hottest_summer_school_2022.html>`__,
   online lectures by assorted instructors.
+- `Advanced Programming Paradigms <https://www.msengineering.ch/theory-modules/2024-2025-tsm-advprpa>`__, Postgraduate course jointly offered by the Universities of Applied Sciences in Switzerland, by Daniel Kröni and Farhad Mehta.
 
 Miscellaneous
 =============