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

Add git flag

Browse source
This commit is contained in:
Hemant Gouni 2021-08-16 21:47:39 +00:00
parent 61b2259d99
commit 0c7bf0508a
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

@ -101,7 +101,7 @@ PLFA ships with the required version of the Agda standard library, so if you clo
If you forgot to add the `--recurse-submodules` flag, no worries, we can fix that! If you forgot to add the `--recurse-submodules` flag, no worries, we can fix that!
```bash ```bash
cd plfa/ cd plfa/
git submodule update --recursive git submodule update --init --recursive
``` ```
If you obtained PLFA by downloading the zip archive, you can get the required version of the Agda standard library from GitHub. You can either clone the repository and switch to the correct branch, or you can download the [the zip archive][agda-stdlib]: If you obtained PLFA by downloading the zip archive, you can get the required version of the Agda standard library from GitHub. You can either clone the repository and switch to the correct branch, or you can download the [the zip archive][agda-stdlib]:
```bash ```bash