ELPA Logo NonGNU ELPA: idris-mode

idris-mode Atom Feed

Description
Major mode for editing Idris code
Latest
idris-mode.tar (.sig), 2026-May-07, 0.04 KiB
Maintainer
Other versions:
development version
Website
https://github.com/idris-hackers/idris-mode
ELPA's Repository
CGit or Gitweb
All Dependencies
prop-menu (.tar)
cl-lib (.tar)
Badge

To install this package from Emacs, use package-install or list-packages.

Full description

This is an Emacs mode for editing Idris code. It requires the latest
version of Idris, and some features may rely on the latest Git version of
Idris.

Old versions

idris-mode-1.1.0.0.20260506.203306.tar.lz2026-May-0780.4 KiB
idris-mode-1.1.0.0.20260506.203306.tar2026-May-07 480 KiB
idris-mode-1.1.0.0.20260506.103041.tar.lz2026-May-0680.0 KiB
idris-mode-1.1.0.0.20260209.110723.tar.lz2026-Feb-0979.6 KiB
idris-mode-1.1.0.0.20251203.154827.tar.lz2025-Dec-0379.6 KiB
idris-mode-1.1.0.0.20251128.160804.tar.lz2025-Nov-2879.5 KiB
idris-mode-1.1.0.0.20250825.75833.tar.lz2025-Aug-2579.1 KiB
idris-mode-1.1.0.0.20240704.133442.tar.lz2024-Jul-1078.0 KiB
idris-mode-1.1.0.0.20230802.15444.tar.lz2024-Mar-3177.8 KiB
idris-mode-1.1.0.0.20221221.102008.tar.lz2022-Dec-2167.7 KiB
idris-mode-0.9.18.0.20211104.105506.tar.lz2021-Nov-0477.1 KiB
idris-mode-0.9.18.0.20210803.80451.tar.lz2021-Aug-2971.5 KiB

News

Changes

This file documents the user-interface changes in idris-mode, starting with release 0.9.19.

master (unreleased)

New features
Changes
Bug fixes