May I have some examples on Kinds and Data.Type.Equality?

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.

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
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
participants (2)
-
Magicloud Magiclouds
-
Richard Eisenberg