Commit 2023-12-22 08:43 a2edc39f
View on Github →chore(Order/Filter/NAry): drop Filter.map₃
(#9182)
It was used only once to prove associativity of Filter.map₂
.
chore(Order/Filter/NAry): drop Filter.map₃
(#9182)
It was used only once to prove associativity of Filter.map₂
.