[TYPES] Writing syntactic models with "full information"

[Andreas Nuyts]

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,