UNPKG

linguist-languages

Version:
12 lines (11 loc) 196 B
module.exports = { "name": "Lean 4", "type": "programming", "group": "Lean", "extensions": [ ".lean" ], "tmScope": "source.lean4", "aceMode": "text", "languageId": 455147478 }