 | ExtTLAThe grammer support for ExtTLA Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
exttla READMEExtTLA is an extended version of TLA+. FeaturesProvide basic syntax highlight. |
| ExtTLAThe grammer support for ExtTLA Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
exttla READMEExtTLA is an extended version of TLA+. FeaturesProvide basic syntax highlight. |