Haskell Community

Status of dependent types?

int-index June 7, 2023, 11:04pm 22

New report here: http://discourse.haskell.org/t/ghc-dh-weekly-update-6-2023-06-07

5 Likes

Topic		Replies	Views	Activity
Daily updates on Dependent Haskell	13	2298	December 9, 2022
History of DH (Dependent Types in Haskell) contributions Announcements	14	1795	July 23, 2025
Serokell’s Work on GHC: Dependent Types, Part 4	5	1194	October 27, 2024
Clarifying dependent types	37	5439	April 19, 2022
The future of Dependent Haskell	117	5446	December 17, 2024