linguist-languages/data/F_2a_.js

Linguist languages data

module.exports = {
  name: 'F*',
  type: 'programming',
  color: '#572e30',
  extensions: ['.fst', '.fsti'],
  tmScope: 'source.fstar',
  aceMode: 'text',
  languageId: 336943375,
  aliases: ['fstar'],
}