[CakeML-dev] Eval Hangout?

Magnus Myreen magnus.myreen at gmail.com
Tue Jun 27 08:42:45 UTC 2017

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:
We can discuss/improve/replace my plan during the Hangout.


More information about the Developers mailing list