News for hackers. Stuff that matters.

A comment on TLA+ Action Properties. Parent comment

Re:TLA+ Action Properties by _alex_ on Wednesday March 31, 2021 @02:32PM (#26651112)
most of the time I need to read it, I use the PDF generation. It turns all the ascii into math symbols. way easier to read
[ Parent | on HN ]

There are no comments on this comment yet.