June 25, 2014
7:54 a.m.
On 25 Jun 2014, at 09:49, Norbert Hartl <norbert@hartl.name> wrote:
Am 25.06.2014 um 09:01 schrieb Marcus Denker <marcus.denker@inria.fr>:
On 24 Jun 2014, at 21:52, stepharo <stepharo@free.fr> wrote:
Where which package? Because we should track it and publish a new package.
We should think about have an OrderedDictionary in the base systemâ¦
SmallDictionary is an ordered dictionary.
But it gets quite slow for large dictionaries⦠(it searches linearly always). Marcus