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

On Jan 31, 2008 5:47 PM, Bulat Ziganshin 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.