Hi,
Thanks for the replies so far. If it helps, after I sent my post, I
spotted a couple of arithmetic examples:
Neil Brown wrote:
2: (a % b) % c = (a % c) % b
Division (on rationals) obeys this property (a / b) / c = (a / c) / b --
which is actually equal to a / (b * c), but that doesn't matter for my
property.
4: (a % b) ~ c = (a ~ c) % b
Division and multiplication on rationals obey this property: (a / b) * c
= (a * c) / b.
Thanks,
Neil.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe