| Major mode for editing Idris code | |
| https://github.com/idris-hackers/idris-mode | |
| idris-mode-20240423.1320 | |
| download~amd64 ~x86 | melpa |
| idris-mode-9999 | GPL-3+ |
| download~amd64 | guru |
| idris-mode-1.1.0 | |
| download~amd64 ~x86 | nongnu-elpa |
| idris-mode-1.0 | |
| download~amd64 ~x86 | melpa-stable |
| idris-mode-1.0 | GPL-3+ |
| download~amd64 | guru |
| idris-mode-0.9.18 | GPL-3 |
| download~amd64 | haskell |