If there was a programming systems version of , i.e., high quality interactive web-based research explanations, what would you expect to see there? And would you contribute?
Conversation
What do you mean by ‘programming systems’? Do programming languages and type systems come under that?