News for hackers. Stuff that matters.

A comment on Introduction to TLA+ Model Checking in the Command Line. Parent comment

Re:Introduction to TLA+ Model Checking in the Command Line by RBerenguel on Friday January 18, 2019 @02:54AM (#18937711)
Thanks for the link. I always prefer emacs above anything, but VS Code is not bad at all.
[ Parent | on HN ]
Re:Introduction to TLA+ Model Checking in the Command Line by yodsanklai on Friday January 18, 2019 @03:14AM (#18937792)
It doesn't seem to be maintained, and it's not packaged either. Not sure it's worth installing.
[ Parent | on HN ]