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
Remove potentially malicious Javascript resource (#13255 )
2026-07-08 13:21:55 +00:00 · 2026-05-12 14:22:15 -04:00 · 2026-05-12 14:19:56 -04:00
2 changed files with 1 additions and 2 deletions
--- 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


--- a/books/free-programming-books-zh.md
+++ b/books/free-programming-books-zh.md
@ -488,7 +488,6 @@
 * [Airbnb JavaScript 规范](https://github.com/adamlu/javascript-style-guide)
 * [ECMAScript 6 入门](http://es6.ruanyifeng.com) - 阮一峰
 * [Google JavaScript 代码风格指南](https://web.archive.org/web/20200415002735/bq69.com/blog/articles/script/868/google-javascript-style-guide.html) *( :card_file_box: archived)*
-* [JavaScript 标准参考教程（alpha）](http://javascript.ruanyifeng.com)
 * [javascript 的 12 个怪癖](https://github.com/justjavac/12-javascript-quirks)
 * [JavaScript 教程 - 廖雪峰的官方网站](https://www.liaoxuefeng.com/wiki/1022910821149312)
 * [《JavaScript 模式》](https://github.com/jayli/javascript-patterns) (《JavaScript patterns》译本)
Author	SHA1	Message	Date
Debobrata754	46752b0fbb	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	2026-05-12 14:22:15 -04:00
Siva harsha vardhan reddy	de31d56c6c	Remove potentially malicious Javascript resource (#13255 )	2026-05-12 14:19:56 -04:00