+Kevin Millikin <kmillikin@deepmind.com> is on the list, but I've CCed him explicitly just in case. On Sun, Jul 24, 2022 at 6:51 PM <luk-f-a@outlook.com> wrote:

hi there!

I was looking at the notes of the typing summit and saw the call to action to write a spec for subtyping. I've done some work on record and function subtyping for Numba and I'm very interested in the topic. I'd love to join whatever work might be going on for subtyping.

Cheers, Luk

ps: is Kevin Millikin on this list? _______________________________________________ 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: sergei.a.lebedev@gmail.com