linguist-languages

Version:

Linguist languages.yml in JSON format

github.com/ikatyang-collab/linguist-languages

13 lines (12 loc) • 213 B

text/typescript

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