On 17/06/2019 16.47, Guido van Rossum wrote: > Type theorists apparently have chosen to use the <: notation, and > presumably for the same reason.
Can we call it "party hat operator", please? <:-) Christian _______________________________________________ Python-ideas mailing list -- python-ideas@python.org To unsubscribe send an email to python-ideas-le...@python.org https://mail.python.org/mailman3/lists/python-ideas.python.org/ Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/GVQPS43UAKXPNXIEQO5IQXLIFEHNB3SD/ Code of Conduct: http://python.org/psf/codeofconduct/
