diff options
| author | peter.ljunglof <peter.ljunglof@gu.se> | 2012-08-29 21:45:10 +0000 |
|---|---|---|
| committer | peter.ljunglof <peter.ljunglof@gu.se> | 2012-08-29 21:45:10 +0000 |
| commit | a7de16c34b7ccffc5ae0ac4fd004dfc155b4f546 (patch) | |
| tree | a39529476f339e06ba4b9283ef9073c9b5dcaf75 /src/runtime/javascript/minus.png | |
| parent | e2ecdfed1fea8dcc77ab3c8d83f74fc577908f5b (diff) | |
Added an O(n log n) version of nub
The new nub is called nub', and it replaces the old sortNub which was
not lazy and did not retain the order between the elements.
Diffstat (limited to 'src/runtime/javascript/minus.png')
0 files changed, 0 insertions, 0 deletions