News for hackers. Stuff that matters.

A comment on The current state of TLA⁺ development. Parent comment

Re:The current state of TLA⁺ development by bvrmn on Friday May 16, 2025 @12:02PM (#44007034)
I agree, latexisms in TLA are on eye brow level of weirdness. Lesser punctuation syntax is always better.
[ Parent | on HN ]

There are no comments on this comment yet.