TLAPS support via LSP.

Co-authored-by: Afonso Fernandes <21228942+afonsonf@users.noreply.github.com> Signed-off-by: Karolis Petrauskas <k.petrauskas@gmail.com>
tlaplus · Oct 16, 2023 · a5e9f01 · a5e9f01
1 parent 92f52b0
commit a5e9f01
Show file tree

Hide file tree

Showing 5 changed files with 644 additions and 580 deletions.
diff --git a/.vscode/cspell.json b/.vscode/cspell.json
@@ -0,0 +1,10 @@
+{
+    "words": [
+        "tlaplus",
+        "tlaps",
+        "tlapm",
+        "sany",
+        "checkndebug",
+        "evaluatable"
+    ]
+}