linguist-languages/data/Lean_20_4.js

Linguist languages data

export default {
  name: 'Lean 4',
  type: 'programming',
  aceMode: 'text',
  extensions: ['.lean'],
  languageId: 455147478,
  tmScope: 'source.lean4',
  aliases: ['lean4'],
  group: 'Lean',
}