Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
app-emacs
/idris-mode
Major mode for editing Idris code
Screenshots
https://github.com/idris-hackers/idris-mode
idris-mode-20240704.1334
~amd64 ~x86
View
Download
Browse
License:
Overlay:
melpa
idris-mode-9999
View
Download
Browse
License: GPL-3+
Overlay:
guru
idris-mode-1.1.0
~amd64 ~x86
View
Download
Browse
License:
Overlay:
nongnu-elpa
idris-mode-1.0
~amd64
View
Download
Browse
License: GPL-3+
Overlay:
guru
idris-mode-1.0
~amd64 ~x86
View
Download
Browse
License:
Overlay:
melpa-stable
idris-mode-0.9.18
~amd64
View
Download
Browse
License: GPL-3
Overlay:
haskell
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
USE Flags