[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]
I guess that is a justification to presume in one's head that context and type can be uniquely inferred by the reader :-)
On 23.05.22 17:39, Stefan Monnier wrote:
I do tend to presume in my head that my terms are intrinsically typed,
