Noticed that the List module had many useful functions that deals with duplicate elements in lists such as contains_dup, find_dup, and remove_consecutive_duplicates. However, there was no remove_duplicates function that eliminates any duplicate from the list while maintaining the same order of the list. So, I added one.
Noticed that the List module had many useful functions that deals with duplicate elements in lists such as contains_dup, find_dup, and remove_consecutive_duplicates. However, there was no remove_duplicates function that eliminates any duplicate from the list while maintaining the same order of the list. So, I added one.