[CakeML-dev] Meeting about Isabelle/HOL + CakeML

Magnus Myreen magnus.myreen at gmail.com
Fri Feb 23 12:00:54 UTC 2018


Lars Hupel is organising a hangout meeting and would like people that
are interested sign up by tomorrow. The doodle is here:

https://doodle.com/poll/sa4ip7cztdz5fvpc

Cheers,
Magnus



More information about the Developers mailing list