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 _