Pradeep rightly points out that the 10th of May would be rather close to
the Typing Summit, so let's actually push the next meeting out until *Monday
the 7th of June*.
On Tue, 6 Apr 2021 at 12:33, Matthew Rahtz
Hi everyone,
We tentatively scheduled our next tensor meeting for this coming Monday the 12th of April. As it happens, though, I'm not sure we have anything significant to talk about this time, apart from some quick status updates:
- PEP 646 is mostly finalised, apart from one extra section adding a bit more context around shape typing in general ( https://github.com/python/peps/pull/1904). - Guido has kindly submitted PEP 646 to the steering council ( https://github.com/python/steering-council/issues/59) - fingers crossed!
Does anyone else have anything they'd like to talk about? If not, I propose we skip this month's meeting, making our next meeting Monday the 10th of May.
Best, Matthew