Serokell’s Work on GHC: Dependent Types, Part 2

At Serokell, we have a dedicated team working on GHC. The primary goal is to help add dependent types to Haskell, as outlined in GHC proposal #378, Design for Dependent Types.....

Submit