Skip to content

Use dependent-sum from hackage#2412

Merged
mergify[bot] merged 2 commits intohaskell:masterfrom jneira:hackage-ghc-9.0Nov 29, 2021