From 968effd1de6fed37bef66b8f63fd48798d7fa29a Mon Sep 17 00:00:00 2001 From: Zoe Stafford Date: Thu, 15 Jan 2026 14:48:12 +0000 Subject: [PATCH] Change idris-lang.org to www.idris-lang.org The DNS records/github pages config for `idris-lang.org` seems to be wrong, so the wrong TLS certificate is served for `idris-lang.org`. Using `www.idris-lang.org` avoids this issue. Also `www.idris-lang.org` is the canonical domain, since `idris-lang.org` redirects to `www.idris-lang.org`. --- README.md | 2 +- www/source/index.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 9491aaf1e74..2f511e43805 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ [![Documentation Status](https://readthedocs.org/projects/idris2/badge/?version=latest)](https://idris2.readthedocs.io/en/latest/?badge=latest) [![Build Status](https://github.com/idris-lang/Idris2/actions/workflows/ci-idris2-and-libs.yml/badge.svg?branch=main)](https://github.com/idris-lang/Idris2/actions/workflows/ci-idris2-and-libs.yml?query=branch%3Amain) -[Idris 2](https://idris-lang.org/) is a purely functional programming language +[Idris 2](https://www.idris-lang.org/) is a purely functional programming language with first class types. For installation instructions, see [INSTALL.md](INSTALL.md). diff --git a/www/source/index.md b/www/source/index.md index b5ff60964e1..05e397b7138 100644 --- a/www/source/index.md +++ b/www/source/index.md @@ -50,7 +50,7 @@ keywords (`module`, `:`, `=`, `private`, etc.) and hopefully get helpful informa Here are links to the automatically generated documentation for the libraries shipped with the **bleeding edge** version of the compiler. The documentation for the latest **released** version -is available on the [idris-lang.org](https://www.idris-lang.org/pages/documentation.html) site. +is available on the [www.idris-lang.org](https://www.idris-lang.org/pages/documentation.html) site. #### [Prelude](https://idris-lang.github.io/Idris2/prelude)