ITP friends! Excluding special-purpose UIs, does this history of UIs look about right? Anything stand out as missing or incorrect?
11
4
15
Conversation
Wouldn't Nuprl fit best under "full IDE", and that as far back as the 80s?
1
1
I don't think so. It's just a couple of thin text editors build around the REPL, AFAIK. Plus the full IDE column is for editors that support asynchrony, project management, and that sort of thing
2
This Tweet was deleted by the Tweet author. Learn more
This Tweet was deleted by the Tweet author. Learn more
This Tweet was deleted by the Tweet author. Learn more
Yeah, I was curious about Metamath here too, which doesn’t fit the best here
Pretty sure early Nuprl docs explicitly mention the loop somewhere, but maybe I misread. Ted was definitely a text editor too
1
My reading of the Nuprl book is that ted is more like what we'd call a "text entry widget" these days, rather than a "text editor" that saves files and the like.
3
1
Show replies