Skip to content

Remove subsumption from Applicatives#569

Merged
gusty merged 12 commits intomasterfrom
gus/strict-applicatives
Nov 26, 2023
Merged

Remove subsumption from Applicatives#569
gusty merged 12 commits intomasterfrom
gus/strict-applicatives

Commits

Commits on Nov 25, 2023