[mercury-users] string append

[Robert Jeschofnik]

On 01-Aug-2000, Michael Day <mcda at students.cs.mu.OZ.AU> wrote:

> (Does anyone like using ++ to append lists, or can we at least get a
> functional variation of append?)

There should allready be one - Ralph Becket added function versions of all
the predicates in the standard library, I believe.


Rob
--------------------------------------------------------------------------
mercury-users mailing list
post:  mercury-users at cs.mu.oz.au
administrative address: owner-mercury-users at cs.mu.oz.au
unsubscribe: Address: mercury-users-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-users-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------