From 3dad18f829054e4e435a2a875a021a96927d4213 Mon Sep 17 00:00:00 2001 From: "Thomas E. Hansen" Date: Wed, 8 Oct 2025 16:50:30 +0100 Subject: [PATCH 1/2] [ download ] Clearly deprecate Idris 1 Idris 1 is at best being kept from bitrotting, with most people who work/worked on Idris 1 having shifted their focus to Idris 2 years ago (there are even rumours of an Idris 3). As such, this more strongly suggests people move to Idris 2 and makes it explicit that Idris 1 is no longer supported. Fixes #13 --- src/content/pages/download.rst | 58 ++++++++++++++++------------------ 1 file changed, 28 insertions(+), 30 deletions(-) diff --git a/src/content/pages/download.rst b/src/content/pages/download.rst index 9805fe8..8424b91 100644 --- a/src/content/pages/download.rst +++ b/src/content/pages/download.rst @@ -55,13 +55,26 @@ Previous releases are also available: * `idris2-0.5.1.tgz <{static}../releases/idris2-0.5.1.tgz>`_ `(SHA 256 hash) <{static}../releases/idris2-0.5.1.tgz.sha256>`__ * `idris2-0.4.0.tgz <{static}../releases/idris2-0.4.0.tgz>`_ `(SHA 256 hash) <{static}../releases/idris2-0.4.0.tgz.sha256>`__ -Idris 1 (legacy) ----------------- -Idris 1 is no longer maintained but remains available. If you are still using Idris 1, consider switching to Idris 2. +Editor Support +-------------- + +Idris 2 editor integration, including interactive editing, is available through +different methods: + +* `Language Server Protocol (LSP) `_ +* `Vim mode (for Idris 2) `_ +* `Emacs mode (for Idris 1 and 2) `_ +* `Emacs mode (for Idris 2 only) `_ -* A list of differences is available - `in the documentation `_. + +Idris 1 (DEPRECATED) +-------------------- + +**Idris 1 is no longer maintained but remains available. If you are still using +Idris 1, we recommend switching to Idris 2.** +A list of differences is available +`in the documentation `_. You can find the source from the following places: @@ -75,42 +88,27 @@ You can find the source from the following places: + ``git clone`` `git://github.com/idris-lang/Idris-dev.git `_ -More detailed installation instructions that are maintained by the Idris -community are available on the wiki for the following platforms: +The old installation instructions that were maintained by the Idris community +are available on the Idris 1 wiki: * `MacOS `_ * `Windows `_ * `Ubuntu `_ * `Debian `_ -Binary ------- - -There are binary packages available for various platforms: +There were binary packages available for various platforms: -* For Windows: `Windows Binaries `_ -* For OS X: `idris-current.pkg `_ `(SHA 256 hash) `__ +* Windows: `Windows Binaries `_ +* OS X: `idris-current.pkg `_ `(SHA 256 hash) `__ If you require any optional features (e.g. GMP or compile time FFI support), -you will need to build from source. - -Editor Support --------------- - -There are editor modes which support interactive editing: - -* Idris 2 - - * `Vim mode (for Idris 2) `_ - * `Emacs mode (for Idris 1 and 2) `_ - * `Emacs mode (for Idris 2 only) `_ - * `Language Server Protocol `_ +you will need to build Idris 1 from source. -* Idris 1 +Idris 1 editor support existed in the form of: - * `Vim mode (for Idris 1) `_ - * `Emacs mode (for Idris 1 and 2) `_ - * `(DEPRECATED) `_ `Atom package `__ +* `Vim mode (for Idris 1) `_ +* `Emacs mode (for Idris 1 and 2) `_ +* `(DEPRECATED) `_ `Atom package `__ Footnotes --------- From a61e1ab25679579ad365a34cbc6a7f5d017f6882 Mon Sep 17 00:00:00 2001 From: "Thomas E. Hansen" Date: Wed, 8 Oct 2025 17:06:37 +0100 Subject: [PATCH 2/2] [ docs ] Point Idris 1 to wayback While `docs.idris-lang.org` somehow still exists, part of what we lost in the migration to the GH website was the Idris 1 docs. Edwin also has no idea where those were. Fortunately, there is a wayback archive of them, so we can point people there. Last I spoke with Edwin, we agreed that this should be the move anyhow, since he considers Idris 1 firmly deprecated by now. --- src/content/pages/docs/index.rst | 26 +++++++++++++++----------- 1 file changed, 15 insertions(+), 11 deletions(-) diff --git a/src/content/pages/docs/index.rst b/src/content/pages/docs/index.rst index a517b2d..c43ce6d 100644 --- a/src/content/pages/docs/index.rst +++ b/src/content/pages/docs/index.rst @@ -26,21 +26,25 @@ There is API documentation for the following packages: You can also find our `Community Standards <{filename}./standards.rst>`_ here. -Idris 1 -------- -Documentation for Idris 1 is available from -`https://docs.idris-lang.org `_. +Idris 1 (DEPRECATED) +-------------------- + +**Idris 1 is deprecated. If you are still using Idris 1, we recommend switching +to Idris 2.** A list of differences is available +`in the documentation `_. + +As such, documentation is no longer available through the website. If you still +require access to the Idris 1 documentation, the following Internet Archive +(aka. Wayback Machine) snapshots are available: -There is API documentation for the following packages provided as part of the Idris distribution: +* `Idris 1 documentation `_ +* `API documentation `_ -* `prelude `_ -* `base `_ -* `contrib `_ -* `effects `_ +Additionally, the +`old Idris 1 Wiki `_ +contains a lot of community supplied information. -The `Idris Wiki `_ contains -a lot of community supplied information. Related Publications --------------------