{
  "name": "TLA",
  "type": "programming",
  "color": "#4b0079",
  "extensions": [
    ".tla"
  ],
  "tmScope": "source.tla",
  "aceMode": "text",
  "languageId": 364
}