Activate "Automatic Module Parsing" for VSCode Codespace - Githubissues

lemmy / BlockingQueue

Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!

https://youtu.be/wjsI0lTSjIo

MIT License

485 stars 21 forks source link

Activate "Automatic Module Parsing" for VSCode Codespace #6

Open lemmy opened 3 years ago

lemmy commented 3 years ago

https://github.com/alygin/vscode-tlaplus/wiki/Automatic-Module-Parsing

https://github.com/lemmy/BlockingQueue/blob/0761ecfdb0e3aef3db1aa78df6f4aa0b60e5736d/.devcontainer/devcontainer.json#L10-L13

https://github.com/tlaplus/Examples/blob/f49468c12a3236ff1b39447f531378b85889e38e/.devcontainer/devcontainer.json#L14-L16