Revision as of 12:07, 23 September 2023 by Razzi(talk | contribs)(Created page with "I remember Philip Wadler mentioning once that math expressions had a lot of context that was implicit and issues with hidden information. I was reminded of that when I saw th...")