[CakeML-dev] Eval Hangout?

[Magnus Myreen]

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