[m-dev.] For review: add '..'/2 and series/3 to list.m
Peter Schachte
schachte at cs.mu.OZ.AU
Thu Sep 28 04:25:48 AEDT 2000
On Wed, Sep 27, 2000 at 12:39:48AM -0700, Ralph Becket wrote:
Not to be pedantic, but Fergus' review didn't catch this:
> How about this...
>
> list__series(X, OK, Succ) = [X0, X1, ..., Xn]
> where X0 = X and successive elements Xj, Xk
> a computed as Xk = Succ(Xj). The series
s/ a / are /
--
Peter Schachte <schachte at cs.mu.OZ.AU> Men have become the tools of their
http://www.cs.mu.oz.au/~schachte/ tools.
Phone: +61 3 8344 9166 -- Henry David Thoreau
Fax: +61 3 9348 1184
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to: mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions: mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------
More information about the developers
mailing list