Skip to content

Remove universe-dependent-sum#78

Merged
phadej merged 1 commit into
masterfrom
remove-dependent-sum
Apr 15, 2026
Merged

Remove universe-dependent-sum#78
phadej merged 1 commit into
masterfrom
remove-dependent-sum

Remove universe-dependent-sum

7d2252e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Haskell-CI - Linux - ghc-9.10.1
succeeded Apr 15, 2026 in 3m 11s