From 9813b39be63dc22c2e7fd775e5f7b430f46ee0c8 Mon Sep 17 00:00:00 2001 From: Edwin Brady Date: Mon, 22 Jul 2019 16:15:51 +0100 Subject: [PATCH] Update INSTALL/README These now say Idris 1.3.2 is required --- INSTALL.md | 4 ++-- README.md | 3 +-- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/INSTALL.md b/INSTALL.md index 01ee9aa..b871f1c 100644 --- a/INSTALL.md +++ b/INSTALL.md @@ -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 diff --git a/README.md b/README.md index 30fb58f..fb180c2 100644 --- a/README.md +++ b/README.md @@ -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