linguist-languages/data/Lean_20_4.d.ts

Linguist languages data

declare const _: {
  name: 'Lean 4'
  type: 'programming'
  extensions: ['.lean']
  tmScope: 'source.lean4'
  aceMode: 'text'
  languageId: 455147478
  group: 'Lean'
}
export = _