{
  "name": "F*",
  "fsName": "Fstar",
  "type": "programming",
  "color": "#572e30",
  "aliases": [
    "fstar"
  ],
  "extensions": [
    ".fst",
    ".fsti"
  ],
  "tmScope": "source.fstar",
  "aceMode": "text",
  "languageId": 336943375
}