linguist-languages/data/Rocq_20_Prover.d.ts

Linguist languages data

declare const _: {
  readonly name: 'Rocq Prover'
  readonly type: 'programming'
  readonly aceMode: 'text'
  readonly extensions: readonly ['.v', '.coq']
  readonly languageId: 69
  readonly tmScope: 'source.coq'
  readonly aliases: readonly ['coq', 'rocq']
  readonly color: '#d0b68c'
}

export default _