Closed favonia closed 1 year ago
Previously we decided to deprecate concat, but it seems useful to collapse 'a bwd bwd to 'a bwd when backward lists are used as accumulators.
concat
'a bwd bwd
'a bwd
Actually, I might found a possibly better way to write my code without using concat.
Previously we decided to deprecate
concat
, but it seems useful to collapse'a bwd bwd
to'a bwd
when backward lists are used as accumulators.