NonGNU ELPA - idris-mode

idris-mode

Description
Major mode for editing Idris code
Latest
idris-mode-0.9.18.tar, 2021-Aug-29, 300 KiB
Home page
https://github.com/idris-hackers/idris-mode
Browse ELPA's repository
CGit or Gitweb
Badge

To install this package, run in Emacs:

M-x package-install RET idris-mode RET

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.