On 1/30/13 6:36 PM, Bas van Dijk wrote: > I just realized one complication: case-insensitive depends on hashable > which is not in the HP. > > I think hashable should also be proposed for the HP: I agree. Should we make this a separate proposal, or just keep it as a subproposal of adding case-insensitive? -- Live well, ~wren