3 ms·
https://gitlab.haskell.org/ghc/ghc/-/wikis/dependent-haskell https://gitlab.haskell.org/ghc/ghc/-/wikis/dependent-haskell ^ this has a bunch of info + external
by whateveracct 7y ago
https://gitlab.haskell.org/ghc/ghc/-/wikis/dependent-haskell https://gitlab.haskell.org/ghc/ghc/-/wikis/dependent-haskell
^ this has a bunch of info + external links. Richard Eisenberg is the one owning it afaiu.
I think there's also a GHC branch somewhere but idr its name.