News for hackers. Stuff that matters.

A comment on Pure Java Typesetting System. Parent comment

Re:Pure Java Typesetting System by mqus on Monday January 23, 2023 @02:33PM (#34493772)
WHich would completely cripple IDEs or at the very least makes it difficult to work with
[ Parent | on HN ]

There are no comments on this comment yet.