Skip to content

Commit 2de9526

Browse files
committed
[ index ] Update community references
The `idris-hackers` org does not appear to be active outside of hosting `idris-mode` for emacs (which, at the time of writing, seems to be different from `idris2-mode` in that it supports both Idris1 and Idris2). Some current community efforts were under `idris-community`, but `pack` also enabled having a broad variety of repo hosts, hence why I've referenced the pack-db repo.
1 parent 3978a61 commit 2de9526

File tree

1 file changed

+13
-4
lines changed

1 file changed

+13
-4
lines changed

src/content/pages/index.rst

Lines changed: 13 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ Idris: A Language for Type-Driven Development
33

44
:save_as: index.html
55
:status: hidden
6-
:date: 2022-10-27 16:35
6+
:date: 2025-10-01 13:40
77

88
.. .. image:: images/profile.jpeg
99
.. :alt: [Shape Sorter Box]
@@ -45,9 +45,18 @@ Community
4545
Long-form discussion happens on the
4646
`mailing list <https://groups.google.com/forum/#!forum/idris-lang>`_.
4747
**GitHub**
48-
The Idris source is available from our repository.
49-
Tools and code by the wider Idris community are available in a
50-
`GitHub organisation <https://github.com/idris-hackers>`_.
48+
The Idris source is available from
49+
`the Idris repository <https://github.com/idris-lang/Idris2>`_.
50+
51+
LSP, tools, and code by the wider Idris community can generally be found at:
52+
53+
* The `idris-community <https://github.com/idris-community>`_ organisation,
54+
and
55+
* the ``pack``
56+
`package collection <https://github.com/stefan-hoeck/idris2-pack-db>`_.
57+
58+
There are some legacy tools and code available in the
59+
`idris-hackers <https://github.com/idris-hackers>`_ organisation.
5160
**Discord**
5261
There is an Idris community on `Discord <https://discord.com/>`_ with
5362
several channels for learning, help and different aspects of development.

0 commit comments

Comments
 (0)