13:20
2026-08-14
discourse.haskell.org
artificial-intelligence
History of DH (Dependent Types in Haskell) contributions
The Haskell development roadmap for Dependent Types (DH) will be updated with links to key research papers, including PhD theses by Adam Gundry (2013) and Richard A. Eisenberg (2016), a specification …