idris-hackers/atom-language-idris

atom-language-idris - A Idris Mode for Atom.io