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

3 points by ehamberg

thomas0

Here is a visual roadmap to dependent types in haskell: https://ghc.serokell.io/dh