From 8761b6d18afee327b1e9a20fe5444b5120573977 Mon Sep 17 00:00:00 2001
From: Phil Nguyen <pnguyen@ccs.neu.edu>
Date: Sun, 27 Oct 2013 13:18:21 -0400
Subject: [PATCH] fix Agda tutorial's title

---
 free-programming-books.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/free-programming-books.md b/free-programming-books.md
index 0113d9a4..5a9260f4 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
-- 
GitLab