CERBERUS/free-programming-books
1
0
Fork 0
mirror of https://github.com/EbookFoundation/free-programming-books.git synced 2026-05-13 08:26:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Update Agda Tutorial link (#13256)
Some checks are pending
Check URLs from changed files / Get changed files (push) Waiting to run
Details
Check URLs from changed files / Check @ (push) Blocked by required conditions
Details
Check URLs from changed files / GitHub report (push) Blocked by required conditions
Details
Detect conflicting PRs / Detect (push) Waiting to run
Details

Browse source 
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
This commit is contained in:
Debobrata754 2026-05-12 23:52:15 +05:30 • committed by GitHub
parent de31d56c6c
commit 46752b0fbb
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
books/free-programming-books-langs.md
View file

@ -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