linguist-languages/data/Lean.js

Linguist languages.yml in JSON format

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