diff --git a/books/free-programming-books-langs.md b/books/free-programming-books-langs.md
index 161a4a0a4..5a5329b85 100644
--- a/books/free-programming-books-langs.md
+++ b/books/free-programming-books-langs.md
@@ -254,7 +254,7 @@ Books on general-purpose programming that don't focus on a specific language are
 
 ### Agda
 
-* [Agda Tutorial](https://people.inf.elte.hu/divip/AgdaTutorial/Index.html)
+* [Agda Tutorial](https://people.inf.elte.hu/pgj/agda/tutorial/Index.html)
 * [Programming Language Foundations in Agda](https://plfa.github.io) - Philip Wadler, Wen Kokke