News for hackers. Stuff that matters.

A comment on TLA+ Action Properties. Parent comment

Re:TLA+ Action Properties by elcapitan on Wednesday March 31, 2021 @03:51PM (#26652209)
That's interesting, are there more examples of such languages?
[ Parent | on HN ]
Re:TLA+ Action Properties by hwayne on Wednesday March 31, 2021 @05:42PM (#26653505)
The other one I know about is PGo, which is a bidirectional go-pluscal compiler: https://github.com/UBC-NSS/pgo
[ Parent | on HN ]