Commit 2020-02-25 22:59 6a6beaa7
View on Github →chore(data/list/basic): drop append_foldl and append_foldr, add map_nil and prod_singleton (#2057)
append_foldl and append_foldr were unused duplicates of
foldl_append and foldr_append
chore(data/list/basic): drop append_foldl and append_foldr, add map_nil and prod_singleton (#2057)
append_foldl and append_foldr were unused duplicates of
foldl_append and foldr_append