You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Current implementation of closure uses Prelude's nub function for removing duplicates. This function is O(n^2), yet it can be improved using nub for ordered lists which is O(n).
This, however, will restrict the type of states to ordered types. Should we use the more efficient version of nub?
The text was updated successfully, but these errors were encountered:
Current implementation of
closure
uses Prelude'snub
function for removing duplicates. This function is O(n^2), yet it can be improved usingnub
for ordered lists which is O(n).This, however, will restrict the type of states to ordered types. Should we use the more efficient version of
nub
?The text was updated successfully, but these errors were encountered: