8 Mar
2023
8 Mar
'23
4:24 a.m.
I haven't had the time to do any work on the PEP yet :( I'll move it up the priority list, since we would like to support it more fully in pytype. martin On Tue, Mar 7, 2023 at 9:30 AM Irv Lustig <irv@princeton.com> wrote:
Just following up here - are you planning on creating a PEP for this? _______________________________________________ Typing-sig mailing list -- typing-sig@python.org To unsubscribe send an email to typing-sig-leave@python.org https://mail.python.org/mailman3/lists/typing-sig.python.org/ Member address: mdemello@google.com