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

Typo fix

Browse Source
This commit is contained in:
Edwin Brady 2020-05-18 23:34:56 +01:00
parent 0bbda746d2
commit e945cb88f2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
INSTALL.md
View File

@ -47,7 +47,7 @@ Then, go to the Self-hosting step below, but you'll also need to add
script knows where to look. That is:
* `rm -rf build` -- clean the build artefacts
* `make all IDRIS2_BOOT=idris2sh SCHEME=chez
* `make all IDRIS2_BOOT=idris2sh SCHEME=chez`
* `make install`
1b: Installing with an existing Idris 2