3 ms·

There was a previous PEP (in 2012) with the exact same title: https://peps.python.org/pep-0416/ https://peps.python.org/pep-0416/ Also one in 2019 for a "froz

by pansa2 10mo ago

There was a previous PEP (in 2012) with the exact same title: https://peps.python.org/pep-0416/ https://peps.python.org/pep-0416/ Also one in 2019 for a "frozenmap": https://peps.python.org/pep-0603/ https://peps.python.org/pep-0603/