path: root/Docs/DafnyRef/dafnyx.json

{ "name": "dafnyx",
  "extend": "dafny",
  "extraKeywords": ["inductive"]
}