idris-hackers/atom-language-idris 1 open

• [request] better syntax highlighting Aug 11