Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
ainar-g
on July 6, 2018
|
parent
|
context
|
favorite
| on:
Why not program right?
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.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
