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

Alfonso Acosta alfonso.acosta at gmail.com
Thu Jan 31 12:52:32 EST 2008

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.

More information about the Haskell-Cafe mailing list