4 ms·
Oooh is there a link to the work/who’s working on it?
by exdsq 6y ago
Oooh is there a link to the work/who’s working on it?
- whateveracct 6y agohttps://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.