[Haskell-cafe] Implementing fixed-sized vectors (using datatype algebra?)

[Alfonso Acosta]

On Jan 31, 2008 5:47 PM, Bulat Ziganshin <bulat.ziganshin at gmail.com> wrote:
> one more:
> darcs get --partial --tag '0.1' http://www.eecs.tufts.edu/~rdocki01/typenats/

Thanks for the link, I had already checked this library, but using a
binary representation has the same problem as using peano numbers,
error reports can be quite cryptic. I still think that using decimals
is the way to go.