[Haskell-cafe] Re: Positive integers

[ajb at spamcop.net]

G'day all.

Quoting Jared Updike <jupdike at gmail.com>:

> 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

Ah, right.  So "torsor" is just a short name for "regular group
action",which in turn is a short name for "free transitive group
action".

We discussed these previously in the context of other kinds of
difference types:

http://www.haskell.org/pipermail/libraries/2005-May/003899.html

Cheers,
Andrew Bromage