Files
2025-11-25 22:42:56 +01:00

17 lines
243 B
JSON

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