edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-12-25 05:43:19 +03:00
Code Issues Projects Releases Wiki Activity

Update INSTALL/README

Browse Source 
These now say Idris 1.3.2 is required
This commit is contained in:
Edwin Brady 2019-07-22 16:15:51 +01:00
parent 91262b4800
commit 9813b39be6
2 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
INSTALL.md
View File

@ -1,8 +1,8 @@
# Installation
Idris 2 is built using Idris, and provides support for three default code
generation targets: Chez, Chicken, and Racket. It currently requires the
(not yet released) latest Idris master.
generation targets: Chez, Chicken, and Racket. It requires at least Idris
version 1.3.2 (see https://www.idris-lang.org/download)
## Idris

3
README.md
View File

@ -3,8 +3,7 @@ Idris 2
This is a pre-alpha implementation of Idris 2, the successor to Idris.
*** Please note: This currently requires currently requires the (not yet
released) latest Idris master. See https://github.com/idris-lang/Idris-dev/ ***
*** Please note: To build, these requires Idris version 1.3.2 ***
Idris 2 is mostly backwards compatible with Idris 1, with some minor
exceptions. The most notable user visible differences, which might cause Idris