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
Another thing to add is Alf, an early graphical environment from Chalmers (not to be confused with Alfa). cse.chalmers.se/research/group This is 90s.
1
1
Oooh, Alfa is a successor to Alf, right?
It's for a similar type theory and from the same group, at least.