Skip to content

Bump base bound to allow GHC 9.12#335

Merged
bgamari merged 3 commits intomasterfrom wip/bounds-bumpJan 24, 2025

Commits

Commits on Oct 30, 2024