History of DH (Dependent Types in Haskell) contributions
Haskell Community [Unofficial]
April 5, 2026
GunpowderGuy:
> Does the web of work need updating
Yes, it needs updating.
Discussion in the ATmosphere