linguist-languages/data/Agda.d.ts

Linguist languages data

declare const _: {
  readonly name: 'Agda'
  readonly type: 'programming'
  readonly aceMode: 'text'
  readonly extensions: readonly ['.agda']
  readonly languageId: 12
  readonly tmScope: 'source.agda'
  readonly color: '#315665'
}

export default _