News for hackers. Stuff that matters.

A comment on TLA+ Action Properties. Parent comment

Re:TLA+ Action Properties by Jtsummers on Wednesday March 31, 2021 @02:17PM (#26650915)
That's what PlusCal seems to be there to help with. It will generate statements like the above from a more Pascal-ish form.
[ Parent | on HN ]

There are no comments on this comment yet.