linguist-languages/data/Idris.js

Linguist languages data

module.exports = {
  name: 'Idris',
  type: 'programming',
  color: '#b30000',
  extensions: ['.idr', '.lidr'],
  tmScope: 'source.idris',
  aceMode: 'text',
  languageId: 165,
}