diff --git a/free-programming-books.md b/free-programming-books.md index 0113d9a4ad8c918776c63ee420733d73ba400398..5a9260f410fc3c13a7d50624353e2e22395f8581 100644 --- a/free-programming-books.md +++ b/free-programming-books.md @@ -351,7 +351,7 @@ ###Agda -* [Agda](https://people.inf.elte.hu/divip/AgdaTutorial/Index.html) +* [Agda Tutorial](https://people.inf.elte.hu/divip/AgdaTutorial/Index.html) ###Android