[mercury-users] New to mercury: structure reuse and efficiency

Nicholas Nethercote njn25 at cam.ac.uk
Tue Jun 22 19:26:07 AEST 2004


On Tue, 22 Jun 2004, Ralph Becket wrote:

> > It's great to hear that work is still continuing. I was wondering how active
> > the mercury development community is now.
>
> Mercury is alive and well and under active development.

That's good to hear, since it's been 1.5 years since the last release.
How many people are working on Mercury now?

> The existing system is lacking in only a few details before we release
> v1, about the only serious problem being support for uniqueness.

AFAIK, unique mode support has been the sticking point preventing a 1.0
release for several years now... :)

N
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------



More information about the users mailing list