Commit 2022-09-20 11:17 744170a9
View on Github →feat(data/pfun): Product of partial functions (#15389)
Define pfun.prod : (α →. γ) → (β →. δ) → α × β →. γ × δ
.
feat(data/pfun): Product of partial functions (#15389)
Define pfun.prod : (α →. γ) → (β →. δ) → α × β →. γ × δ
.