From d9c37f6903afb43f67a4f535d30df80d74683f35 Mon Sep 17 00:00:00 2001 From: Qais Patankar Date: Tue, 10 Sep 2019 21:42:59 +0100 Subject: [PATCH] Fix "Github" typo --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ba516b1c..75679938 100644 --- a/README.md +++ b/README.md @@ -21,7 +21,7 @@ We list the versions of our dependencies on the badges above. We have tested with the versions listed; either earlier or later versions may cause problems. -You can get the appropriate version of Programming Language Foundations in Agda from Github, +You can get the appropriate version of Programming Language Foundations in Agda from GitHub, either by cloning the repository, or by downloading [the zip archive](https://github.com/plfa/plfa.github.io/archive/dev.zip):