linguist-languages/data/Agda.js

Linguist languages data

export default {
  name: 'Agda',
  type: 'programming',
  aceMode: 'text',
  extensions: ['.agda'],
  languageId: 12,
  tmScope: 'source.agda',
  color: '#315665',
}