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

Getting Started: pins down a link to a specific Agda version

Browse source
This commit is contained in:
Marko Dimjašević 2019-01-31 08:35:13 +01:00 committed by Wen Kokke
parent be4801faf5
commit 17c86c539a
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

@ -27,7 +27,7 @@ or by downloading [the zip archive](https://github.com/plfa/plfa.github.io/archi
git clone https://github.com/plfa/plfa.github.io git clone https://github.com/plfa/plfa.github.io
Finally, we need to let Agda know where to find the standard library. Finally, we need to let Agda know where to find the standard library.
For this, you can follow the instructions [here](https://agda.readthedocs.io/en/latest/tools/package-system.html#example-using-the-standard-library). For this, you can follow the instructions [here](https://agda.readthedocs.io/en/v2.5.4.2/tools/package-system.html#example-using-the-standard-library).
It is possible to set up PLFA as an Agda library as well. It is possible to set up PLFA as an Agda library as well.
If you are trying to complete the exercises found in the `tspl` folder, or otherwise want to import modules from the book, you need to do this. If you are trying to complete the exercises found in the `tspl` folder, or otherwise want to import modules from the book, you need to do this.