Joo ChurlSoo <init@xxxxxxxxxxx> writes:
> Although MU* can be substituted for MU and NU, MU* is much slower than MU.
This is not true: it depends on the implementation.
Also the semantics is different: the result of MU evaluates arguments
each time it is unpacked. Are you sure this is what you intended?
--
__("< Marcin Kowalczyk
\__/ qrczak@xxxxxxxxxx
^^ http://qrnik.knm.org.pl/~qrczak/