News for hackers. Stuff that matters.

A comment on Why not program right?. Parent comment

Re:Why not program right? by ainar-g on Friday July 06, 2018 @05:31PM (#17475292)
I thought the legacy of Modula-3 lives in OpenJML (through ESC/Modula-3 -> ESC/Java -> ESC/Java2 -> OpenJML)? I have never heard anyone use it though.
[ Parent | on HN ]

There are no comments on this comment yet.