[CakeML] Do something with CakeML

[Ramana Kumar]

Hello folks,

Are you interested in learning more about CakeML but don't know where to
start? Come join us on our Slack channel
<https://join.slack.com/t/cakeml/shared_invite/MjM1NjEyODgxODkzLTE1MDQzNjgwMTUtYjI4YTdlM2VmMQ>,
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
<https://github.com/CakeML/cakeml/issues>.

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