2 ms·

Tweag is onto that too. :) See https://www.reddit.com/r/haskell/comments/gtnayl/whats_the_status_on_dependent_types_in_ghc_as_of/ https://www.reddit.com/r/hask

by mboes 6y ago

Tweag is onto that too. :) See https://www.reddit.com/r/haskell/comments/gtnayl/whats_the_status_on_dependent_types_in_ghc_as_of/ https://www.reddit.com/r/haskell/comments/gtnayl/whats_the_s... for a recent update.