gpo.zugaina.org

Search Portage & Overlays:

app-emacs/idris-mode

Idris syntax highlighting and (eventually) other things for emacs

Screenshots