A Idris Mode for Atom.io
Primary LanguageCoffeeScriptMIT LicenseMIT
No issues in this repository yet.