On 28/08/15 20:33, Ben Gamari wrote: > I half-jokingly suggested that 8.0 should only come with Phase 2 of > Richard's Dependent Haskell work
Ah, that would be perfect.
signature.asc
Description: OpenPGP digital signature
_______________________________________________ ghc-devs mailing list [email protected] http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
