[CakeML-dev] Eval Hangout?

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Wed Jun 28 06:42:45 UTC 2017

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.

On 27 June 2017 at 18:42, Magnus Myreen <magnus.myreen at gmail.com> wrote:

> Hi all,
> Now that we have the first CakeML tutorial out of the way, I hope that
> we can look at adding Eval.
> I'd like to have a Hangout on the topic of Eval.
>  - Who would like to be invited?
>  - Would Friday this week or Monday next week work for you?
> I wrote some notes on how I think we could split the tasks at a very
> high-level in order to make progress:
> https://wiki.cakeml.org/compiling-eval
> We can discuss/improve/replace my plan during the Hangout.
> Cheers,
> Magnus
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170628/778b1d3a/attachment.html>

More information about the Developers mailing list