[CakeML-dev] Eval Hangout?
magnus.myreen at gmail.com
Tue Jun 27 08:42:45 UTC 2017
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