History of DH (Dependent Types in Haskell) contributions
Haskell Community [Unofficial]
February 22, 2026
Has there been more announcements or visible material of any kind ( such as public forks of GHC , comments on issues or merge requests , etc ) relating to dependent haskell, since you shared :
ghc.serokell.io/dh
on this thread, last year?
Discussion in the ATmosphere