<div dir="ltr">Following discussion on slack, we might try to schedule this for Thursday. I will update the current "CakeML Hangout" event for the new proposed time now, and also change its name to include "Eval" so it's clear what it's for.<br></div><div class="gmail_extra"><br><div class="gmail_quote">On 27 June 2017 at 18:42, Magnus Myreen <span dir="ltr"><<a href="mailto:magnus.myreen@gmail.com" target="_blank">magnus.myreen@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>
<br>
Now that we have the first CakeML tutorial out of the way, I hope that<br>
we can look at adding Eval.<br>
<br>
I'd like to have a Hangout on the topic of Eval.<br>
 - Who would like to be invited?<br>
 - Would Friday this week or Monday next week work for you?<br>
<br>
I wrote some notes on how I think we could split the tasks at a very<br>
high-level in order to make progress:<br>
<a href="https://wiki.cakeml.org/compiling-eval" rel="noreferrer" target="_blank">https://wiki.cakeml.org/<wbr>compiling-eval</a><br>
We can discuss/improve/replace my plan during the Hangout.<br>
<br>
Cheers,<br>
Magnus<br>
<br>
______________________________<wbr>_________________<br>
Developers mailing list<br>
<a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
<a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
</blockquote></div><br></div>