idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-18 16:51:51 +03:00
Code Issues Projects Releases Wiki Activity

remove pack installation instructions

Browse Source
This commit is contained in:
Joel Berkeley 2023-11-09 23:16:54 +00:00
parent 4d0410a7d3
commit b26bd7d4b4
1 changed files with 1 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
INSTALL.md
View File

@ -13,12 +13,7 @@
You can install Idris 2 with any one of a number of package managers.
### Install with [Pack](https://github.com/stefan-hoeck/idris2-pack/blob/main/INSTALL.md)
Pack comes with an installation of Idris 2 so you just need to install Pack.
Assuming you have already installed Chez Scheme, run
```sh
bash -c "$(curl -fsSL https://raw.githubusercontent.com/stefan-hoeck/idris2-pack/main/install.bash)"
```
then add `$HOME/.pack/bin` to your `$PATH` variable.
Pack comes with an installation of Idris 2, so you just need to install Pack. See [the installation instructions](https://github.com/stefan-hoeck/idris2-pack/blob/main/INSTALL.md) on GitHub.
### Install with [Homebrew](https://brew.sh/)
```sh
brew install idris2