-
contribute PlusCal grammar to tree-sitter
-
dump state graph to file
-
code snippets
-
SANY diagnostics through lsp mechanisms
-
configurable output window
-
proper logging
-
raw checker output for debug
-
remove submodule with specs
-
unicode symbols support?
-
quick worksheets?
-
REPL in separate terminal?
-
generate PDF?