Serokell’s Work on GHC: Dependent Types, Part 5
Haskell Community [Unofficial]
June 1, 2026
Serokell’s Work on GHC: Dependent Types, Part 5
Serokell’s Work on GHC: Dependent Types, Part 5
This article continues the fine tradition of Serokell's GHC team sharing their progress on bringing dependent types to Haskell. A lot has happened since the last report, and there is plenty to cover. In this edition, Vladislav Zavialov presents...
Discussion in the ATmosphere