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

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! Richard On Jan 6, 2015, at 2:38 AM, Magicloud Magiclouds 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@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe