News for hackers. Stuff that matters.

A comment on TLA+ Action Properties. Parent comment

Re:TLA+ Action Properties by neolog on Thursday April 01, 2021 @03:11AM (#26657463)
How does the performance compare to TLA+? Especially curious if you've run it under PyPy.
[ Parent | on HN ]

There are no comments on this comment yet.