Agda.Utils.Favorites

data Favorites a

data CompareResult a

compareWithFavorites

compareFavorites

unionCompared

insertCompared

insert

union

fromList