linguist-languages/data/Lean 4.mjs

Linguist languages.yml in JSON format

export default {
  "name": "Lean 4",
  "type": "programming",
  "group": "Lean",
  "extensions": [
    ".lean"
  ],
  "tmScope": "source.lean4",
  "aceMode": "text",
  "languageId": 455147478
}