History of DH (Dependent Types in Haskell) contributions
Haskell Community [Unofficial]
April 4, 2026
ghc.serokell.io
Dependent Haskell Roadmap
the web of work says : Last updated: 2025-02-26
Does the web of work need updating, or did the progress you mention happen early last year or earlier?
Discussion in the ATmosphere