linguist-languages/data/Lean.js

Linguist languages data

module.exports = {
  name: 'Lean',
  type: 'programming',
  extensions: ['.lean', '.hlean'],
  tmScope: 'source.lean',
  aceMode: 'text',
  languageId: 197,
}