[Haskell-cafe] May I have some examples on Kinds and Data.Type.Equality?

Richard Eisenberg eir at cis.upenn.edu
Mon Jan 12 16:27:24 UTC 2015

You can check out my examples from a talk I gave to the New York Haskell Users' Group, available at https://github.com/goldfirere/nyc-hug-oct2014

The TyRep example may be the best for what you're looking for...

I hope this is helpful!

On Jan 6, 2015, at 2:38 AM, Magicloud Magiclouds <magicloud.magiclouds at gmail.com> wrote:

> Hi,
>   I am trying to learn some advanced stuff of Haskell. But haskell wiki seems only giving some concepts and so.
>   May I have some code example? Also other documents are welcomed.
>   Thanks.
> -- 
> 竹密岂妨流水过
> 山高哪阻野云飞
> And for G+, please use magiclouds#gmail.com.
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20150112/73915a72/attachment.html>

More information about the Haskell-Cafe mailing list