[m-dev.] proposal: add uuid module to the standard library

[Julien Fischer]

Hi all,

Some time ago I wrote a library for handling UUIDs in Mercury.
Initially, it was just a wrapper around libuuid, java.util.UUID etc.  I
have recently added a Mercury implementation of UUIDs to it, removing
the need for any external libraries.  I think it would be worth adding
this to the standard library.  Any objections?

You can find the current version of the module here: https://github.com/juliensf/mercury-uuid

Julien.