News for hackers. Stuff that matters.

A comment on TLA+ Action Properties. Parent comment

Re:TLA+ Action Properties by hwayne on Wednesday March 31, 2021 @05:29PM (#26653407)
The syntax isn't for everyone and the tooling has some issues.
[ Parent | on HN ]
Re:TLA+ Action Properties by hwayne on Wednesday March 31, 2021 @05:59PM (#26653682)
One of the reasons I'm so bullish on TLA+ is that "the tooling has some issues" is a fixable problem, and the bigger the community, the more likely it is to get fixed.
[ Parent | on HN ]
Re:TLA+ Action Properties by lakecresva on Wednesday March 31, 2021 @06:26PM (#26653924)
Touche.
[ Parent | on HN ]