Skip to content

Add more MonoidK based folds#4432

Open
BalmungSan wants to merge 2 commits intotypelevel:mainfrom
BalmungSan:fold-traverse
Open

Add more MonoidK based folds#4432
BalmungSan wants to merge 2 commits intotypelevel:mainfrom
BalmungSan:fold-traverse

Commits

Commits on Apr 21, 2023