linguist-languages/data/Idris.mjs

export default {
  "name": "Idris",
  "type": "programming",
  "color": "#b30000",
  "extensions": [
    ".idr",
    ".lidr"
  ],
  "aceMode": "text",
  "tmScope": "source.idris",
  "languageId": 165
}