[Developers] Welcome to the CakeML Developers list

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Thu Oct 6 03:41:04 UTC 2016


As mentioned in a previous thread of the "Dev" list, we have now moved to a
new list, "Developers", with address developers at cakeml.org. All previous
Dev subscribers have been automatically moved to Developers. (You can
update your subscription any time via https://lists.cakeml.org).

The Developers list has permissions just like our GitHub repository: it is
publicly readable, but has moderated subscriptions and postings. Please
continue any technical discussions from the old Dev on the new Developers
now instead.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161006/89b3d46d/attachment.html>

More information about the Developers mailing list