Hacker News new | ask | show | jobs
by WalterBright 557 days ago
I used RUNOFF back in the 1970s. I used it for writing papers. Things haven't evolved much beyond it.