Commit 2023-01-11 18:25 7c523cb7
View on Github →feat(data/list/count): partially sync with multiset (#18125)
- rename list.count_repeattolist.count_repeat_self;
- prove list.count_repeatwithif .. then .. elsein the RHS.
feat(data/list/count): partially sync with multiset (#18125)
list.count_repeat to list.count_repeat_self;list.count_repeat with if .. then .. else in the RHS.