Agda.Utils.Favorites

data Favorites a

data CompareResult a

compareWithFavorites

compareFavorites

unionCompared

insertCompared

insert

union

fromList

Properties

property_null_empty

property_not_null_singleton

prop_compareWithFavorites

prop_fromList_after_toList

prop_union_union2

All tests

tests