[m-dev.] proposal: add uuid module to the standard library
jfischer at opturion.com
Sat Oct 31 16:47:53 AEDT 2020
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
More information about the developers