4 ms·

Also worth noting that the VS Code extension for TLA+ is steadily improving: https://marketplace.visualstudio.com/items?itemName=alygin.vscode-tlaplus https://

Also worth noting that the VS Code extension for TLA+ is steadily improving: https://marketplace.visualstudio.com/items?itemName=alygin.vscode-tlaplus https://marketplace.visualstudio.com/items?itemName=alygin.v... https://open-vsx.org/extension/alygin/vscode-tlaplus https://open-vsx.org/extension/alygin/vscode-tlaplus

hwayne 6y ago
Heckin'! One of my favorite things to see in TLA+ adoption is people making more tools to work with it.