Re: [TYPES] Writing syntactic models with "full information"
Andreas Nuyts <[email protected]> Mon, 23 May 2022 18:17:22 +0200
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
[ 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,