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
The Idris protocol probably fits in the blue column as well.
1
3
Do you have a good citation for that? (Not citation trolling; writing a survey paper)
2
1
Looking forward to your paper!
1
1
Yeah, me too! Survey papers are so useful to those of us outside of the academic world trying to make sense of the landscape! For example, so much of the time in dependent type theory I feel overwhelmed trying to piece together all the layered strata…