[CakeML-Dev] list reminders

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Tue Nov 1 05:13:03 UTC 2016

Sorry if you got an unwanted reminder about being subscribed to this list.
Because this list was made new last month, it still had reminders on. I've
just turned them off.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20161101/9305b2de/attachment.html>

More information about the Developers mailing list