Update feed for idris-modehttps://elpa.nongnu.org/nongnu-devel/idris-mode.xml2026-05-07T05:06:18ZNonGNU-devel ELPA: Release of "idris-mode", Version 0.9.18.0.20210803.804512021-08-29T17:02:49Zelpa-adminemacs-devel@gnu.orgtag:elpa.nongnu.org,2021-08-29:nongnu-devel/idris-mode.xml#v0.9.18.0.20210803.80451<p>Version 0.9.18.0.20210803.80451 of package
<a href="https://elpa.nongnu.org/nongnu-devel/idris-mode.html">idris-mode</a> has just been released in NonGNU-devel ELPA.
</p><p>You can now find it in
<kbd>M-x list-packages RET</kbd>.
</p><p>idris-mode describes itself as:</p><blockquote>Major mode for editing Idris code</blockquote>NonGNU-devel ELPA: Release of "idris-mode", Version 0.9.18.0.20211104.1055062021-11-04T17:09:48Zelpa-adminemacs-devel@gnu.orgtag:elpa.nongnu.org,2021-11-04:nongnu-devel/idris-mode.xml#v0.9.18.0.20211104.105506<p>Version 0.9.18.0.20211104.105506 of package
<a href="https://elpa.nongnu.org/nongnu-devel/idris-mode.html">idris-mode</a> has just been released in NonGNU-devel ELPA.
</p><p>You can now find it in
<kbd>M-x list-packages RET</kbd>.
</p><p>idris-mode describes itself as:</p><blockquote>Major mode for editing Idris code</blockquote>NonGNU-devel ELPA: Release of "idris-mode", Version 1.1.0.0.20221221.1020082022-12-21T17:06:08Zelpa-adminemacs-devel@gnu.orgtag:elpa.nongnu.org,2022-12-21:nongnu-devel/idris-mode.xml#v1.1.0.0.20221221.102008<p>Version 1.1.0.0.20221221.102008 of package
<a href="https://elpa.nongnu.org/nongnu-devel/idris-mode.html">idris-mode</a> has just been released in NonGNU-devel ELPA.
</p><p>You can now find it in
<kbd>M-x list-packages RET</kbd>.
</p><p>idris-mode describes itself as:</p><blockquote>Major mode for editing Idris code</blockquote>NonGNU-devel ELPA: Release of "idris-mode", Version 1.1.0.0.20230802.154442024-03-31T07:16:24Zelpa-adminemacs-devel@gnu.orgtag:elpa.nongnu.org,2024-03-31:nongnu-devel/idris-mode.xml#v1.1.0.0.20230802.15444<p>Version 1.1.0.0.20230802.15444 of package
<a href="https://elpa.nongnu.org/nongnu-devel/idris-mode.html">idris-mode</a> has just been released in NonGNU-devel ELPA.
</p><p>You can now find it in
<kbd>M-x list-packages RET</kbd>.
</p><p>idris-mode describes itself as:</p><blockquote>Major mode for editing Idris code</blockquote>NonGNU-devel ELPA: Release of "idris-mode", Version 1.1.0.0.20240704.1334422024-07-10T22:41:49Zelpa-adminemacs-devel@gnu.orgtag:elpa.nongnu.org,2024-07-10:nongnu-devel/idris-mode.xml#v1.1.0.0.20240704.133442<p>Version 1.1.0.0.20240704.133442 of package
<a href="https://elpa.nongnu.org/nongnu-devel/idris-mode.html">idris-mode</a> has just been released in NonGNU-devel ELPA.
</p><p>You can now find it in
<kbd>M-x list-packages RET</kbd>.
</p><p>idris-mode describes itself as:</p><blockquote>Major mode for editing Idris code</blockquote>NonGNU-devel ELPA: Release of "idris-mode", Version 1.1.0.0.20250825.758332025-08-25T05:04:42Zelpa-adminemacs-devel@gnu.orgtag:elpa.nongnu.org,2025-08-25:nongnu-devel/idris-mode.xml#v1.1.0.0.20250825.75833<p>Version 1.1.0.0.20250825.75833 of package
<a href="https://elpa.nongnu.org/nongnu-devel/idris-mode.html">idris-mode</a> has just been released in NonGNU-devel ELPA.
</p><p>You can now find it in
<kbd>M-x list-packages RET</kbd>.
</p><p>idris-mode describes itself as:</p><blockquote>Major mode for editing Idris code</blockquote>NonGNU-devel ELPA: Release of "idris-mode", Version 1.1.0.0.20251128.1608042025-11-28T17:04:33Zelpa-adminemacs-devel@gnu.orgtag:elpa.nongnu.org,2025-11-28:nongnu-devel/idris-mode.xml#v1.1.0.0.20251128.160804<p>Version 1.1.0.0.20251128.160804 of package
<a href="https://elpa.nongnu.org/nongnu-devel/idris-mode.html">idris-mode</a> has just been released in NonGNU-devel ELPA.
</p><p>You can now find it in
<kbd>M-x list-packages RET</kbd>.
</p><p>idris-mode describes itself as:</p><blockquote>Major mode for editing Idris code</blockquote>NonGNU-devel ELPA: Release of "idris-mode", Version 1.1.0.0.20251203.1548272025-12-03T17:05:40Zelpa-adminemacs-devel@gnu.orgtag:elpa.nongnu.org,2025-12-03:nongnu-devel/idris-mode.xml#v1.1.0.0.20251203.154827<p>Version 1.1.0.0.20251203.154827 of package
<a href="https://elpa.nongnu.org/nongnu-devel/idris-mode.html">idris-mode</a> has just been released in NonGNU-devel ELPA.
</p><p>You can now find it in
<kbd>M-x list-packages RET</kbd>.
</p><p>idris-mode describes itself as:</p><blockquote>Major mode for editing Idris code</blockquote>NonGNU-devel ELPA: Release of "idris-mode", Version 1.1.0.0.20260209.1107232026-02-09T17:09:03Zelpa-adminemacs-devel@gnu.orgtag:elpa.nongnu.org,2026-02-09:nongnu-devel/idris-mode.xml#v1.1.0.0.20260209.110723<p>Version 1.1.0.0.20260209.110723 of package
<a href="https://elpa.nongnu.org/nongnu-devel/idris-mode.html">idris-mode</a> has just been released in NonGNU-devel ELPA.
</p><p>You can now find it in
<kbd>M-x list-packages RET</kbd>.
</p><p>idris-mode describes itself as:</p><blockquote>Major mode for editing Idris code</blockquote>NonGNU-devel ELPA: Release of "idris-mode", Version 1.1.0.0.20260506.1030412026-05-06T17:08:18Zelpa-adminemacs-devel@gnu.orgtag:elpa.nongnu.org,2026-05-06:nongnu-devel/idris-mode.xml#v1.1.0.0.20260506.103041<p>Version 1.1.0.0.20260506.103041 of package
<a href="https://elpa.nongnu.org/nongnu-devel/idris-mode.html">idris-mode</a> has just been released in NonGNU-devel ELPA.
</p><p>You can now find it in
<kbd>M-x list-packages RET</kbd>.
</p><p>idris-mode describes itself as:</p><blockquote>Major mode for editing Idris code</blockquote>NonGNU-devel ELPA: Release of "idris-mode", Version 1.1.0.0.20260506.2033062026-05-07T05:06:17Zelpa-adminemacs-devel@gnu.orgtag:elpa.nongnu.org,2026-05-07:nongnu-devel/idris-mode.xml#v1.1.0.0.20260506.203306<p>Version 1.1.0.0.20260506.203306 of package
<a href="https://elpa.nongnu.org/nongnu-devel/idris-mode.html">idris-mode</a> has just been released in NonGNU-devel ELPA.
</p><p>You can now find it in
<kbd>M-x list-packages RET</kbd>.
</p><p>idris-mode describes itself as:</p><blockquote>Major mode for editing Idris code</blockquote>