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: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 ]

There are no comments on this comment yet.