gpo.zugaina.org

Search Portage & Overlays:

app-emacs/idris-mode

Major mode for editing Idris code

Screenshots

Runtime Dependencies

idris-mode-20230802.854

idris-mode-9999

idris-mode-1.1.0

idris-mode-1.0

idris-mode-1.0

idris-mode-0.9.18