linguist-languages/data/Lean.d.ts

Linguist languages data

declare const _: {
  readonly name: 'Lean'
  readonly type: 'programming'
  readonly aceMode: 'text'
  readonly extensions: readonly ['.lean', '.hlean']
  readonly languageId: 197
  readonly tmScope: 'source.lean'
}

export default _