Hi,
too early this morning I assigned some values to `keys`, thereby accidentally making the `keys()` method of `dicts` inaccessible. Is there a way to get rid of this without restarting the REPL? Stupid, I know. Second question: what I want in the end is a list of keys from a dict sorted according to their value. Is there any other way than extracting keys and values, using `sortperm` to get the index vector and then reordering the keys array? Thanks a lot, best, Sven -- Sven Mesecke sveme.org