[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[tlaplus] Contribution: A VSCode Dev Container for TLA+



I've put together and tested (Mac/WIndows) a VSCode Dev Container for TLA+.

https://github.com/kevinsullivan/TLAPlusDocker/blob/main/README.md

If it's redundant, please let me know. If you want to make improvements, register issues or (better yet) send me PRs.

Kevin Sullivan
University of Virginia CS


--
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/39245a79-7f20-4477-b1ad-bda0da344b98n%40googlegroups.com.