GitHub repository: ulidtko/atom-language-idris
Primary language: JavaScript
Description: A Idris Mode for Atom.io