github/melpa
1
0
Fork 0
mirror of https://github.com/correl/melpa.git synced 2024-11-15 19:19:28 +00:00
Code Issues Projects Releases Packages Wiki Activity
melpa/recipes/idris-mode
Sean Escriva 74b3a8ee29 add recipe for idris-mode
2013-11-28 15:37:39 -08:00

1 line
62 B
Text
Raw Blame History

(idris-mode :repo "idris-hackers/idris-mode" :fetcher github)
Reference in a new issue View git blame Copy permalink