diff options
Diffstat (limited to 'Docs/DafnyRef/dafnyx.json')
| -rw-r--r-- | Docs/DafnyRef/dafnyx.json | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Docs/DafnyRef/dafnyx.json b/Docs/DafnyRef/dafnyx.json new file mode 100644 index 00000000..be06bfa1 --- /dev/null +++ b/Docs/DafnyRef/dafnyx.json @@ -0,0 +1,4 @@ +{ "name": "dafnyx",
+ "extend": "dafny",
+ "extraKeywords": ["inductive"]
+}
\ No newline at end of file |