linguist-languages/data/Dafny.js

Linguist languages data

module.exports = {
  name: 'Dafny',
  type: 'programming',
  color: '#FFEC25',
  extensions: ['.dfy'],
  tmScope: 'text.dfy.dafny',
  aceMode: 'text',
  languageId: 969323346,
  interpreters: ['dafny'],
}