Skip to content

Add more MonoidK based folds#4432

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

Commits

Commits on Apr 21, 2023