[CakeML] Do something with CakeML

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Mon Nov 5 18:43:39 UTC 2018

Hello folks,

Are you interested in learning more about CakeML but don't know where to
start? Come join us on our Slack channel
and send me (@xrchz) a direct message. I would be happy to provide feedback
or guidance to anyone who'd like to work on one of CakeML's open issues

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/users/attachments/20181105/79f75058/attachment.html>

More information about the Users mailing list