Visible dependent quantification / CUSKs
Ben Gamari
ben at well-typed.com
Fri Nov 2 17:00:44 UTC 2018
Richard Eisenberg <rae at cs.brynmawr.edu> writes:
> Hi all,
>
> I see visible dependent quantification and top-level kind signatures
> on the release plan for GHC 8.8. Is there a diff for these I've
> missed? Or is something in the works?
>
I don't believe so; it sounds like this was just a mistake. If anyone
was to know about these happening I would expect it to be you.
Cheers,
- Ben
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 487 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20181102/bed375bb/attachment.sig>
More information about the ghc-devs
mailing list