michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix problem in README.md

Browse source
This commit is contained in:
Wen Kokke 2018-11-27 11:47:37 +00:00
parent 53e22bba91
commit 7d320fdf0c
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
README.md
View file

@ -16,7 +16,7 @@ There are several tools you need to work with PLFA:
For most of the tools, you can simply follow their respective build instructions.
We aim to maintain compatibility with the latest release of Agda and the standard library,
but we maintain [a copy of the standard library which is guaranteed to work with the book]((https://github.com/plfa/agda-stdlib)).
but we maintain [a copy of the standard library which is guaranteed to work with the book](https://github.com/plfa/agda-stdlib).
You can get the latest version of Programming Language Foundations in Agda from Github,
either by cloning the repository,