Remove duplicate elements: Difference between revisions
→ATS2 implementation for elements have both order and equality predicates
Line 866:
<pre> a c b e d</pre>
=== ATS2 implementation for
Sort the elements and then keep only the first element of each run of equal elements.
|