[Haskell-cafe] dependent types, singleton types....
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:
> 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