melpa/recipes/idris-mode

5 lines
101 B
Text
Raw Permalink Normal View History

(idris-mode
:repo "idris-hackers/idris-mode"
:fetcher github
:files (:defaults "logo-small.png"))