linguist-languages/data/Literate_20_Agda.d.mts

Linguist languages data

declare const _: {
  name: 'Literate Agda'
  type: 'programming'
  color: '#315665'
  extensions: ['.lagda']
  tmScope: 'none'
  aceMode: 'text'
  languageId: 205
  group: 'Agda'
}
export default _