M
Mark Summerfield
Is this proposal dead? I'd been meaning to post some thoughts which I
still haven't gotten around to writing up, and am wondering whether to
keep it on my todo list.
Yes, it's dead.
I've left the sorteddict implementation on PyPI for those that want
it, but there will be no PEP. GvR's view is that people should use
dict + sorted().