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