linguist-languages/data/Lean_20_4.d.ts

Linguist languages data

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

export default _