27 Aug
2008
27 Aug
'08
3:48 p.m.
2008/8/27 Adrian Hey
As does the O(n*(log n)) AVL based nub I just wrote.
Care to share? WDYT about using RULES to rewrite to nubOrd if an Ord context is available, as John Meacham mentioned? John: you said you were uneasy about changing the complexity of an algorithm using RULES, but this is exactly what list fusion does (albeit for space, not time). -- -David