TLAPS support via LSP.

Co-authored-by: Afonso Fernandes <[email protected]> Signed-off-by: Karolis Petrauskas <[email protected]>
tlaplus · Oct 14, 2023 · 6c1ebfd · 6c1ebfd
1 parent 92f52b0
commit 6c1ebfd
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"
+    ]
+}