<div dir="ltr">Maybe! I don't intend to set it up though. (I don't have or want a Facebook account.)<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 4 June 2015 at 15:21, Mike Gordon <span dir="ltr"><<a href="mailto:Mike.Gordon@cl.cam.ac.uk" target="_blank">Mike.Gordon@cl.cam.ac.uk</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Should CakeML have a Facebook presence<br>
(<a href="https://www.facebook.com/help/162866443847527/" target="_blank">https://www.facebook.com/help/162866443847527/</a>)? - Mike<br>
<br>
_______________________________________________<br>
Users mailing list<br>
<a href="mailto:Users@cakeml.org">Users@cakeml.org</a><br>
<a href="https://lists.cakeml.org/listinfo/users" target="_blank">https://lists.cakeml.org/listinfo/users</a><br>
</blockquote></div><br></div>