Ohhhh! People keep telling me about how great VSCode is but I’ve never had a reason to try it out…

It runs command line tools for you in VSCode. Syntax highlighting, code snippets, TLC process and results visualization are also included.
You might like this VSCode extension for TLA+: https://marketplace.visualstudio.com/items?itemName=a
1
2
Andrew Lygin
Marianne Bellotti
·Follow
1 min read·
Aug 22, 2019
--
Ohhhh! People keep telling me about how great VSCode is but I’ve never had a reason to try it out before. Thanks!
--
--
Written by Marianne Bellotti
7.1K Followers
·41 Following
Author of Kill It with Fire Manage Aging Computer Systems (and Future Proof Modern Ones)
No responses yet
Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams