Skip to content
Back to pull request #10215

feat: add Array.partitionM, Array.partitionMapM, Array.partitionMap, List.partitionMapM #18169

Sign in to view logs

feat: add Array.partitionM, Array.partitionMapM, Array.partitionMap, List.partitionMapM

feat: add Array.partitionM, Array.partitionMapM, Array.partitionMap, List.partitionMapM #18169

check-awaiting-mathlib

check-awaiting-mathlib
succeeded Dec 6, 2025 in 4s