[Haskell-cafe] Dependent types

Mitar mmitar at gmail.com
Fri Sep 10 08:50:40 EDT 2010


On Fri, Sep 10, 2010 at 9:22 AM, Stephen Tetley
<stephen.tetley at gmail.com> wrote:
> This issue pops up quite quite often - Ryan Ingram's answer to it the
> last time it was on the Cafe points to the relevant Trac issue
> numbers:

But I have not yet made it as GADTs. I would need some help here. How
to change MaybePacket to GADTs?


More information about the Haskell-Cafe mailing list