Skip to content

match Foldable.foldl1's argument order to DA.List.foldl1's order#12685

Merged
S11001001 merged 1 commit intomainfrom foldl1-orderFeb 1, 2022
+15-8

Commits

Commits on Jan 31, 2022