Differences
This shows you the differences between two versions of the page.
| using:tlaplus_formatter [2024/10/25 17:06] – created fponzi | using:tlaplus_formatter [2024/10/25 17:06] (current) – fponzi | ||
|---|---|---|---|
| Line 2: | Line 2: | ||
| There is a TLA+ formatter available here: https:// | There is a TLA+ formatter available here: https:// | ||
| - | The formatter is still work in progress. It uses the official SANY implementation from tlatools. It's open for contributions as well, if you have experience in crafting formatters or compilers please do reach out. | + | The formatter is still **work in progress**. It uses the official SANY implementation from tlatools. It's open for contributions as well, if you have experience in crafting formatters or compilers please do reach out. |
| The plan is to integrate it to vscode-tlaplus: | The plan is to integrate it to vscode-tlaplus: | ||
fponzi