:
Hi Alfonso, Matthew,
On Tue, Jun 15, 2021, at 06:59, ALFONSO LUIS CASTAÑO MARIN wrote:
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
Hi Matthew & Juan,
Thank you for the kind words and for the feedback! I totally agree in
what you are suggesting, so I will just provide a little of context on
why it was presented that way.
First of all, when talking about type arithmetic I suggest to refer to
the latest presentation for
