[Haskell-cafe] ANNOUNCE: yap-0.0 - yet another prelude

Paterson, Ross R.Paterson at city.ac.uk
Thu Aug 11 14:08:21 CEST 2011


Sebastian Fischer [fischer at nii.ac.jp] wrote:
> I'm curious: what laws do you have in mind for '+', '-', and '0' that
> do not hold in the multiplicative group of rational numbers with
>
>     (+) = (*); (-) = (/); 0 = 1
>
> ?

x - x = zero, for one.  (with x the other 0)


More information about the Haskell-Cafe mailing list