We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent e8eb2fa commit ee637b3Copy full SHA for ee637b3
README.md
@@ -7,7 +7,7 @@ with first class types. This repository provides Idris 2 compiler targeting JVM
7
8
## Install
9
10
-* Download the latest Idris 2 JVM release from here https://github.com/mmhelloworld/idris-jvm/releases/tag/latest.
+* Download the latest Idris 2 JVM release from here https://github.com/mmhelloworld/idris-jvm/releases/latest.
11
* Extract the archive and add `idris2` launcher script directory `<EXTRACTED_DIRECTORY_ROOT>/bin` to PATH.
12
* Create an environment variable `IDRIS2_PREFIX` pointing to `<EXTRACTED_DIRECTORY_ROOT>/lib`
13
0 commit comments