From 46752b0fbb04892f5b88fe9014ba941df96d5b42 Mon Sep 17 00:00:00 2001 From: Debobrata754 Date: Tue, 12 May 2026 23:52:15 +0530 Subject: [PATCH] Update Agda Tutorial link (#13256) The previous link http://www.inf.elte.hu/divip/AgdaTutorial/Index.html returns 404. Updated to the working mirror at https://people.inf.elte.hu/pgj/agda/tutorial/Index.html --- books/free-programming-books-langs.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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