:: Ord a => [a] -> [a] -package:Agda -is:exact is:exact -package:relude -package:Cabal package:sort

The sort function implements a stable sorting algorithm. It is a special case of sortBy, which allows the programmer to supply their own comparison function.

Sort the list, discarding duplicates.