Fix "Github" typo
This commit is contained in:
parent
4841f3d879
commit
d9c37f6903
1 changed files with 1 additions and 1 deletions
|
@ -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
|
tested with the versions listed; either earlier or later versions may
|
||||||
cause problems.
|
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,
|
either by cloning the repository,
|
||||||
or by downloading [the zip archive](https://github.com/plfa/plfa.github.io/archive/dev.zip):
|
or by downloading [the zip archive](https://github.com/plfa/plfa.github.io/archive/dev.zip):
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue