serokell.io

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, Vl…

If the page stays blank, open it in a new tab. Your Weird rating still works from the top bar.

Open source