basic): drop `append_foldl` and `append_foldr`, add `map_nil` and `prod_singleton`
#2057

Merged

chore(data/list/basic): drop `append_foldl` and `append_foldr`, add `map_nil` and `prod_singleton` #2057

mergify merged 2 commits into master from list-basic

chore(data/list/basic): drop `append_foldl` and `append_foldr`, add `…

95212225

jcommelin approved these changes on 2020-02-25

jcommelin added ready-to-merge

Merge branch 'master' into list-basic

98e1511a

mergify merged 6a6beaa7 into master 5 years ago

mergify deleted the list-basic branch 5 years ago

Reviewers

jcommelin

Assignees

No one assigned

Labels

ready-to-merge

Milestone

No milestone