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

export default _