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

Updated README.

Browse source
This commit is contained in:
Wen Kokke 2021-06-16 23:31:37 +01:00
parent 67b94951e0
commit f9cafebe75
No known key found for this signature in database
GPG key ID: 7EB7DBBCEB539DB8
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
README.md
View file

@ -57,7 +57,7 @@ The easiest way to install a *specific version* of Agda is using [Stack][haskell
```bash ```bash
git clone https://github.com/agda/agda.git git clone https://github.com/agda/agda.git
cd agda cd agda
git checkout v2.6.1.1 git checkout v2.6.1.3
``` ```
To install Agda, run Stack from the Agda source directory: To install Agda, run Stack from the Agda source directory:
```bash ```bash
@ -337,12 +337,12 @@ If you want Stack to use your system installation of GHC, follow the instruction
[haskell-stack]: https://docs.haskellstack.org/en/stable/README/ [haskell-stack]: https://docs.haskellstack.org/en/stable/README/
[haskell-ghc]: https://www.haskell.org/ghc/ [haskell-ghc]: https://www.haskell.org/ghc/
[git]: https://git-scm.com/downloads [git]: https://git-scm.com/downloads
[agda]: https://github.com/agda/agda/releases/tag/v2.6.1.1 [agda]: https://github.com/agda/agda/releases/tag/v2.6.1.3
[agda-version]: https://img.shields.io/badge/agda-v2.6.1.1-blue.svg [agda-version]: https://img.shields.io/badge/agda-v2.6.1.3-blue.svg
[agda-docs-holes]: https://agda.readthedocs.io/en/v2.6.1.1/getting-started/quick-guide.html [agda-docs-holes]: https://agda.readthedocs.io/en/v2.6.1.3/getting-started/quick-guide.html
[agda-docs-emacs-mode]: https://agda.readthedocs.io/en/v2.6.1.1/tools/emacs-mode.html [agda-docs-emacs-mode]: https://agda.readthedocs.io/en/v2.6.1.3/tools/emacs-mode.html
[agda-docs-emacs-notation]: https://agda.readthedocs.io/en/v2.6.1.1/tools/emacs-mode.html#notation-for-key-combinations [agda-docs-emacs-notation]: https://agda.readthedocs.io/en/v2.6.1.3/tools/emacs-mode.html#notation-for-key-combinations
[agda-docs-package-system]: https://agda.readthedocs.io/en/v2.6.1.1/tools/package-system.html#example-using-the-standard-library [agda-docs-package-system]: https://agda.readthedocs.io/en/v2.6.1.3/tools/package-system.html#example-using-the-standard-library
[emacs]: https://www.gnu.org/software/emacs/download.html [emacs]: https://www.gnu.org/software/emacs/download.html
[emacs-tour]: https://www.gnu.org/software/emacs/tour/ [emacs-tour]: https://www.gnu.org/software/emacs/tour/
[emacs-home]: https://www.gnu.org/software/emacs/manual/html_node/efaq-w32/Location-of-init-file.html [emacs-home]: https://www.gnu.org/software/emacs/manual/html_node/efaq-w32/Location-of-init-file.html