emacs-idris-mode 20240704.1334
Propagated dependencies: emacs-prop-menu@20150728.1118
Channel: emacs
Home page: https://github.com/idris-hackers/idris-mode
Licenses:
Synopsis: Major mode for editing Idris code
Description:
Documentation at https://melpa.org/#/idris-mode
emacs-idris-mode 1.0-1.9bc7697
Propagated dependencies: emacs-prop-menu@0.1.2
Channel: guix
Home page: https://github.com/idris-hackers/idris-mode
Licenses: GPL 3+
Synopsis: Major mode for editing Idris code
Description:
This is an Emacs mode for editing Idris code. It is compatible with the latest versions of Idris 1.
Total results: 2