[Haskell-cafe] May I have some examples on Kinds and Data.Type.Equality?
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:
> 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.
> And for G+, please use magiclouds#gmail.com.
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe