Added TLA+ grammar & queries

This commit is contained in:
Andrew Helwer 2021-08-18 12:48:01 -04:00 committed by Stephan Seitz
parent 955f19c64a
commit da2336ea80
7 changed files with 163 additions and 0 deletions

View file

@ -185,6 +185,9 @@
"teal": {
"revision": "fcc5f6f4d194dede4e676834ff28a506e39e17b4"
},
"tlaplus": {
"revision": "36e7863609f5fbb4b0e39b1a035f5b3245f974f6"
},
"toml": {
"revision": "8bd2056818b21860e3d756b5a58c4f6e05fb744e"
},