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:01AM (#18937537)
I do it in emacs, have been meaning to write a mode for a while, but.. time.
[ Parent | on HN ]

There are no comments on this comment yet.