<!DOCTYPE html><html><head><title></title><style type="text/css">p.MsoNormal,p.MsoNoSpacing{margin:0}</style></head><body><div>Hi Alfonso, Matthew,<br></div><div><br></div><div>On Tue, Jun 15, 2021, at 06:59, ALFONSO LUIS CASTAÑO MARIN wrote:<br></div><blockquote type="cite" id="qt" style="font-family:Arial;font-size:14px;"><p> First of all, when talking about type arithmetic I suggest to refer to the latest presentation for the summit rather than from the Tensor Typing Meetings (https://docs.google.com/presentation/d/1NZzZfbUCXi78LDDe8C3hAaK9on8ZiX3Z2k4BlZXwsJ8/edit). Here I intentionally refer to the +,-,*,// syntax rather than the Add[] one. Moreover, I also write 1 + A rather than Literal[1] + A, assuming that we could write a PEP for enabling this behavior if needed, and as Matthew said, it seems feasible based on what was said in the summit.<br></p></blockquote><div><br></div><div>This PEP sounds like it is of some interest to many of us. Would it make sense to start a repository with an initial document that we can iterate on, or how do you typically develop these?<br></div><div><br></div><div>Stéfan</div></body></html>