We now release a python package for tree-sitter-tlaplus along with prebuilt wheels for various system types. Use this package to simplify scripts and instructions for users trying to execute the manifest generation script. It should no longer be necessary to manually download & build tree-sitter-tlaplus.
We now release a python package for tree-sitter-tlaplus along with prebuilt wheels for various system types. Use this package to simplify scripts and instructions for users trying to execute the manifest generation script. It should no longer be necessary to manually download & build tree-sitter-tlaplus.