News for hackers. Stuff that matters.

A comment on TLA+. Parent comment

Re:TLA+ by gwd on Friday March 12, 2021 @06:15AM (#26434498)
Not sure if you'll see this, but finally got around to posting my repo:

https://gitlab.com/xen-project/people/gdunlap/tla

[ Parent | on HN ]

There are no comments on this comment yet.