[Haskell-cafe] dependent types, singleton types....

Richard Eisenberg eir at cis.upenn.edu
Wed Apr 29 13:42:50 UTC 2015

On Apr 29, 2015, at 8:54 AM, "Nicholls, Mark" <nicholls.mark at vimn.com> wrote:

> Accchhhh
> Thats another level of pain

It is, unfortunately.

> , i'm not a big haskeller so i'll have to wrestle with it to get all the knobs and dials working, leave it with me for the moment and i'll start wrestling with cabal

You won't need cabal and such. Just say `data family Sing (a :: k)` in your file and you'll have the definition. There's really nothing more to it than that!


More information about the Haskell-Cafe mailing list