linguist-languages/data/Idris.d.mts

Linguist languages data

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