At 16:01 +0100 1999/05/04, Jerzy Karczmarczuk wrote:
>...what I *really need* from Haskell is the possibility to
>*code* something efficiently, and not just to represent it.
>
>Saying that an operator is commutative does not help me, unless I have
>some ways to change the argument order to optimiz
Hans Aberg commenting Wolfram Kahl:
> For expressing algebraic relations, I think one can use universal algebra
> by factoring through the free universal algebra of a particular set of
> relations. For example, if one wants to state that a binary operator is
> commutative, one can say that is sh
