4 ms·
> Used Haskell but missed dependant types. They're coming :)
by whateveracct 7y ago
> Used Haskell but missed dependant types.
They're coming :)
- exdsq 7y agoOooh is there a link to the work/who’s working on it?
- whateveracct 7y 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.