Fixes typo in README.md
This commit is contained in:
parent
233c89bab0
commit
933fb27c89
1 changed files with 1 additions and 1 deletions
|
@ -28,7 +28,7 @@ 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).
|
||||
|
||||
It is possible to set up PLFA as an Agda library as well.
|
||||
If you are trying to complete the exerises 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.
|
||||
To do so, add the path to `plfa.agda-lib` to `~/.agda/libraries` and add `plfa` to `~/.agda/defaults`, both on lines of their own.
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue