foldLeft, foldRight, other Foldable specializations#11592
Merged
mergify[bot] merged 7 commits intomainfrom foldLeft-foldRight-specializationsNov 9, 2021
+99-15
Commits
Commits on Nov 9, 2021
- committed
- committed
- committed
- committed
- committed
- committed
- committed