{
  "name": "Dafny",
  "type": "programming",
  "color": "#FFEC25",
  "extensions": [
    ".dfy"
  ],
  "interpreters": [
    "dafny"
  ],
  "tmScope": "text.dfy.dafny",
  "aceMode": "text",
  "languageId": 969323346
}