[Haskell-cafe] Re: Positive integers

[Jared Updike]

> An additive torsor is?

Surprisingly, there is a page on MathWorld about Torsors but it is
empty. Google turned up the following page with a good explanation.

http://math.ucr.edu/home/baez/torsors.html

> I'd maintain that the difference between two lengths is an entirely different
> quantity from the length of a list.

(Maybe this is a good example of what the term torsor captures.)

Thanks to Aaron for expanding our vocabulary.

  Jared.
--
http://www.updike.org/~jared/
reverse ")-:"