Hi everyone! Tomorrow at the Typing Summit I will make a presentation on Type Arithmetic for Tensor Typing. In order to facilitate the discussion, I share the slides of the presentation in advance (as well as from the previous presentation during the Tensor Typing Meetings) in case that someone would find them useful to understand better the proposal and contribute to the discussion. Typing Summit slides: https://docs.google.com/presentation/d/1NZzZfbUCXi78LDDe8C3hAaK9on8ZiX3Z2k4B... Tensor Typing Meeting slides: https://docs.google.com/presentation/d/16VGNfVo6Kxk9lBhm1cx1-Jr19dqESyy10Wkh... See you tomorrow! Alfonso.